Skip to content
Compile and bench

Coq 9.0 #429

Sign in to view logs

Coq 9.0

Coq 9.0 #429

Triggered via pull request July 3, 2025 10:34
@yforsteryforster
synchronize #122
coq-9.0
Status Failure
Total duration 8m 33s
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)
The process '/usr/bin/git' failed with exit code 128
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.