On 6/6/20 10:45 PM, Kinney, Michael D wrote:
Ard,
We think this is resolved now.
Please let us know if you see any more issues.
Thanks 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 (#60829): https://edk2.groups.io/g/devel/message/60829
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]
-=-=-=-=-=-=-=-=-=-=-=-