Skip to content
CI (Coq, opam)

[CI] also test opam packages, including perf #1

Sign in to view logs

[CI] also test opam packages, including perf

[CI] also test opam packages, including perf #1

Triggered via push January 28, 2025 20:22
@JasonGrossJasonGross
pushed ef98e7d
master
Status Failure
Total duration 56m 27s
Artifacts –

coq-opam-package.yml

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

Annotations

12 errors and 4 warnings
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
Process completed with exit code 31.
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
Process completed with exit code 31.
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)
Process completed with exit code 31.
install (8.18.0, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#mast...
Process completed with exit code 1.
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
Process completed with exit code 31.
install (8.19.0, macOS, macos-latest, 4.14.2)
Process completed with exit code 31.
install (8.19.0, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#mast...
Process completed with exit code 1.
install (8.18.0, macOS, macos-latest, 4.14.2)
Process completed with exit code 31.
install (8.20.0, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#mast...
Process completed with exit code 1.
install (dev, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#master,...
Process completed with exit code 1.
install (8.20.0, macOS, macos-latest, 4.14.2)
Process completed with exit code 31.
install (dev, macOS, macos-latest, 4.14.2)
Process completed with exit code 31.
install (8.19.0, macOS, macos-latest, 4.14.2)
pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf
install (8.18.0, macOS, macos-latest, 4.14.2)
pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf
install (8.20.0, macOS, macos-latest, 4.14.2)
pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf
install (dev, macOS, macos-latest, 4.14.2)
pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf