On Wed, 7 Jun 2023 at 19:02, Rebecca Cran <rebe...@bsdio.com> wrote: > > > On 6/7/23 11:00, Ard Biesheuvel wrote: > > On Wed, 7 Jun 2023 at 17:39, Rebecca Cran <rebe...@bsdio.com> wrote: > >> I've pushed it. > >> > > > > Thanks! How did you manage that? > > > I just realized I pushed the wrong one! I went to the checks tab and > clicked the button to re-run all the checks. >
Ah ok, so just another roll of the CI dice :-) -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#105876): https://edk2.groups.io/g/devel/message/105876 Mute This Topic: https://groups.io/mt/99289807/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
