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.
See https://github.com/coq/coq/pull/14122
Last updated: Dec 07 2023 at 17:01 UTC