Skip to content
Test opam package

CI (Coq, opam) #40

Sign in to view logs

CI (Coq, opam)

CI (Coq, opam) #40

Triggered via schedule July 1, 2024 00:48
@JasonGrossJasonGross
⁠ ca174d7
master
Status Failure
Total duration 1h 54m 29s
Artifacts –

coq-opam-package.yml

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

Annotations

5 errors
install (8.17.0, 4.11.1, macos-latest)
The process '/Users/runner/hostedtoolcache/opam/2.1.6/arm64/opam' failed with exit code 20
install (dev, 4.11.1, macos-latest)
The process '/Users/runner/hostedtoolcache/opam/2.1.6/arm64/opam' failed with exit code 20
install (8.18.0, 4.11.1, macos-latest)
The process '/Users/runner/hostedtoolcache/opam/2.1.6/arm64/opam' failed with exit code 20
install (8.17.0, 4.11.1, ubuntu-latest)
Process completed with exit code 31.
install (8.17.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...
Process completed with exit code 1.