Skip to content
CI (Coq, opam)

Bump rewriter from edd0611 to 8ab716a (#1988) #926

Sign in to view logs

Bump rewriter from edd0611 to 8ab716a (#1988)

Bump rewriter from edd0611 to 8ab716a (#1988) #926

Triggered via push November 20, 2024 19:28
@JasonGrossJasonGross
pushed c97b7a1
master
Status Failure
Total duration 1h 42m 19s
Artifacts –

coq-opam-package.yml

on: push
Matrix: install
Fit to window
Zoom out
Zoom in

Annotations

6 errors
install (dev, macOS, macos-latest, 4.14.2)
Cannot install pkgconf because conflicting formulae are installed. pkg-config: because both install `pkg.m4` file Please `brew unlink pkg-config` before continuing. Unlinking removes a formula's symlinks from /opt/homebrew. You can link the formula again after the install finishes. You can `--force` this install, but the build may fail or cause obscure side effects in the resulting software.
install (dev, macOS, macos-latest, 4.14.2)
Process completed with exit code 10.
install (8.19.0, macOS, macos-latest, 4.14.2)
Cannot install pkgconf because conflicting formulae are installed. pkg-config: because both install `pkg.m4` file Please `brew unlink pkg-config` before continuing. Unlinking removes a formula's symlinks from /opt/homebrew. You can link the formula again after the install finishes. You can `--force` this install, but the build may fail or cause obscure side effects in the resulting software.
install (8.19.0, macOS, macos-latest, 4.14.2)
Process completed with exit code 10.
install (8.18.0, macOS, macos-latest, 4.14.2)
Process completed with exit code 10.
install (8.18.0, macOS, macos-latest, 4.14.2)
Cannot install pkgconf because conflicting formulae are installed. pkg-config: because both install `pkg.m4` file Please `brew unlink pkg-config` before continuing. Unlinking removes a formula's symlinks from /opt/homebrew. You can link the formula again after the install finishes. You can `--force` this install, but the build may fail or cause obscure side effects in the resulting software.