Stream: Coq devs & plugin devs

Topic: macos CI issues?

view this post on Zulip Gaëtan Gilbert (Mar 15 2023 at 15:45):

I'm seeing repeated macos failures, eg

==> Fetching atk
==> Downloading
curl: (22) The requested URL returned error: 503
Error: gtksourceview3: Failed to download resource "atk_bottle_manifest"
Download failed:

Last updated: Feb 22 2024 at 04:02 UTC