Skip to content
Test opam package

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian #633

Sign in to view logs

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian #633

Triggered via push August 14, 2023 19:45
@samuelgruettersamuelgruetter
pushed eb9e5bc
master
Status Failure
Total duration 11m 22s
Artifacts –

coq-opam-package.yml

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

Annotations

7 errors
install (8.16.0, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
The process 'D:\cygwin\bin\bash.exe' failed with exit code 1
install (8.16.0, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
Process completed with exit code 1.
install (dev, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
Process completed with exit code 1.
install (dev, 4.11.1, macos-latest)
Process completed with exit code 40.
install (8.16.0, 4.11.1, macos-latest)
Process completed with exit code 40.
install (8.16.0, 4.11.1, ubuntu-latest)
Process completed with exit code 40.
install (dev, 4.11.1, ubuntu-latest)
Process completed with exit code 40.