https://github.com/coq/coq/pull/14103/checks?check_run_id=2355421453 is this expected?
No - it might be a path change in Homebrew. The latest platform nightly build did work, though: https://github.com/coq/platform/actions.
So it might be that on the server Homebrew is messed up.
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.
Last updated: Oct 16 2021 at 09:07 UTC