On Fri, Aug 27, 2021 at 11:35:42AM +0000, Yao, Jiewen wrote: > I am sorry, I mess up https://github.com/tianocore/edk2/pull/1917, please > ignore that. > > This pull request is re-created at > https://github.com/tianocore/edk2/pull/1918. > > Please take a look at 1918.
Is there some way to run the CI before posting the patches? I could probably create a dummy pull request for that and delete it when the CI is done. That'll probably make gitlab send out a bunch of annoying notifications though ... thanks, Gerd -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#79896): https://edk2.groups.io/g/devel/message/79896 Mute This Topic: https://groups.io/mt/84991746/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
