Skip to content
Compile and bench

Coq 9.0 #423

Sign in to view logs

Coq 9.0

Coq 9.0 #423

Triggered via pull request July 1, 2025 11:52
@yforsteryforster
synchronize #122
coq-9.0
Status Failure
Total duration 7m 49s
Artifacts –

build.yml

on: pull_request
Matrix: build-matrix
Fit to window
Zoom out
Zoom in

Annotations

1 error and 11 warnings
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Cannot find a physical path bound to logical path
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Failed to remove 'http.https://github.com/.extraheader' from the git config
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
"From Coq" has been replaced by "From Stdlib".
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
"From Coq" has been replaced by "From Stdlib".
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metarocq-1.4-rocq-9.0)
Loading Stdlib without prefix is deprecated.