Re: Core-updates after the staging merge

[John Kehayias]

On Tue, Apr 18, 2023 at 12:55 AM, John Kehayias wrote:

> Oh, looks like no x86_64 builds currently on Cuirass...hopefully
> temporary?
>

Never mind, builds going through now! Okay, I really must get to bed!