Stream: Coq devs & plugin devs

Topic: macos dmg failure in CI


view this post on Zulip Matthieu Sozeau (Apr 16 2021 at 09:36):

https://github.com/coq/coq/pull/14103/checks?check_run_id=2355421453 is this expected?

view this post on Zulip Michael Soegtrop (Apr 16 2021 at 10:02):

No - it might be a path change in Homebrew. The latest platform nightly build did work, though: https://github.com/coq/platform/actions.

view this post on Zulip Michael Soegtrop (Apr 16 2021 at 10:02):

So it might be that on the server Homebrew is messed up.

view this post on Zulip Théo Zimmermann (Apr 16 2021 at 10:09):

Note that this last step is not useful anymore (it's not testing the platform build), so we might want to clean it up and "fix" the failure at the same time.

view this post on Zulip Théo Zimmermann (Apr 16 2021 at 10:12):

See https://github.com/coq/coq/pull/14122


Last updated: Oct 16 2021 at 09:07 UTC