Ard, We think this is resolved now.
Please let us know if you see any more issues. Mike > -----Original Message----- > From: Ard Biesheuvel <ard.biesheu...@arm.com> > Sent: Friday, June 5, 2020 2:23 PM > To: Kinney, Michael D <michael.d.kin...@intel.com>; > devel@edk2.groups.io; ler...@redhat.com; Leif Lindholm > <l...@nuviainc.com>; Gao, Liming <liming....@intel.com> > Subject: Re: [edk2-devel] ci problems > > On 6/5/20 11:18 PM, Kinney, Michael D wrote: > > Ard, > > > > Thanks for the notification. We will investigate. > > > > Thanks Mike -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#60828): https://edk2.groups.io/g/devel/message/60828 Mute This Topic: https://groups.io/mt/74702287/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-