Skip to content
Test opam package

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #907

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530 (#1957)

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #907

Triggered via push September 19, 2024 19:05
@JasonGrossJasonGross
pushed 7f0f40a
master
Status Failure
Total duration 5h 23m 2s
Artifacts –

coq-opam-package.yml

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

Annotations

6 errors
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
Process completed with exit code 1.
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
Process completed with exit code 1.
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
Process completed with exit code 1.
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
Process completed with exit code 1.
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https://...
Process completed with exit code 1.
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https://...
Process completed with exit code 1.