Matthieu Sozeau (Apr 16 2021 at 09:36): Matthieu Sozeau (Apr 16 2021 at 09:36):https://github.com/coq/coq/pull/14103/checks?check_run_id=2355421453 is this expected?
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.
Michael Soegtrop (Apr 16 2021 at 10:02):So it might be that on the server Homebrew is messed up.
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.
Théo Zimmermann (Apr 16 2021 at 10:12):See https://github.com/coq/coq/pull/14122
Last updated: May 28 2023 at 16:30 UTC