On 04/30/20 15:04, Laszlo Ersek wrote:
> (+Sean, Mike, Michael)
>
> On 04/30/20 14:51, Laszlo Ersek wrote:
>> On 04/29/20 23:53, Rebecca Cran wrote:
>>> Generated mechanically with:
>>> find OvmfPkg -type f -exec sed -i -e 's/EFI_D_/DEBUG_/g' {} \;
>>>
>>> Signed-off-by: Rebecca Cran <rebe...@bsdio.com>
>>
>> Reviewed-by: Laszlo Ersek <ler...@redhat.com>
>>
>
> Submitted this patch for merging in
> <https://github.com/tianocore/edk2/pull/569>.
>
> The CI run failed with the following error:
>
> "Unhandled: Not found SourceFolder:
> /home/vsts/work/1/s/BaseTools/BaseToolsBuild"
>
> https://github.com/tianocore/edk2/pull/569/checks?check_run_id=633226650
> https://github.com/tianocore/edk2/pull/569/checks?check_run_id=633226688
> https://github.com/tianocore/edk2/pull/569/checks?check_run_id=633226957
>
> I don't know what to do about that.
Now that I've looked again, the PR has been merged.
I don't understand why those errors were raised -- but now I also don't
understand why the PR was merged in spite of errors (of any kind).
Anyway, I'll run with the result: commit 70d5086c3274.
Thanks
Laszlo
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#58436): https://edk2.groups.io/g/devel/message/58436
Mute This Topic: https://groups.io/mt/73363608/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
