Skip to content

Work around issue with brew and opam #4701

Work around issue with brew and opam

Work around issue with brew and opam #4701

Triggered via pull request November 20, 2024 19:31
Status Failure
Total duration 1h 39m 39s
Artifacts

coq-macos.yml

on: pull_request
Matrix: build
combine-standalone
0s
combine-standalone
Matrix: publish-standalone
Matrix: test-standalone
macos-check-all
0s
macos-check-all
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 3 warnings
macOS 14 (arm64)
Could not symlink share/aclocal/pkg.m4 Target /opt/homebrew/share/aclocal/pkg.m4 is a symlink belonging to pkgconf. You can unlink it: brew unlink pkgconf To force the link and overwrite all conflicting files: brew link --overwrite pkg-config To list all files that would be deleted: brew link --overwrite pkg-config --dry-run
macOS 14 (arm64)
Process completed with exit code 1.
macOS 12 (x86_64)
Could not symlink share/aclocal/pkg.m4 Target /usr/local/share/aclocal/pkg.m4 is a symlink belonging to pkgconf. You can unlink it: brew unlink pkgconf To force the link and overwrite all conflicting files: brew link --overwrite pkg-config To list all files that would be deleted: brew link --overwrite pkg-config --dry-run
macOS 12 (x86_64)
Process completed with exit code 1.
macos-check-all
Process completed with exit code 1.
macOS 12 (x86_64)
A brownout will take place on November 25, 14:00 UTC - November 26, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
macOS 12 (x86_64)
You are using macOS 12. We (and Apple) do not provide support for this old version. It is expected behaviour that some formulae will fail to build in this old version. It is expected behaviour that Homebrew will be buggy and slow. Do not create any issues about this on Homebrew's GitHub repositories. Do not create any issues even if you think this message is unrelated. Any opened issues will be immediately closed without response. Do not ask for help from Homebrew or its maintainers on social media. You may ask for help in Homebrew's discussions but are unlikely to receive a response. Try to figure out the problem yourself and submit a fix as a pull request. We will review it but may or may not accept it.
macOS 12 (x86_64)
You are using macOS 12. We (and Apple) do not provide support for this old version. It is expected behaviour that some formulae will fail to build in this old version. It is expected behaviour that Homebrew will be buggy and slow. Do not create any issues about this on Homebrew's GitHub repositories. Do not create any issues even if you think this message is unrelated. Any opened issues will be immediately closed without response. Do not ask for help from Homebrew or its maintainers on social media. You may ask for help in Homebrew's discussions but are unlikely to receive a response. Try to figure out the problem yourself and submit a fix as a pull request. We will review it but may or may not accept it.