Skip to content
Compile and test

Move benchmarks to tests #448

Sign in to view logs

Move benchmarks to tests

Move benchmarks to tests #448

Re-run triggered February 17, 2026 12:08
@zoepzoep
#129
rassmike:testing-new
Status Failure
Total duration 1h 41m 2s
Artifacts –

build.yml

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

Annotations

11 warnings
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Failed to remove 'http.https://github.com/.extraheader' from the git config
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "_ ;;; _" defined at level 100 with arguments constr
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ] _" defined at level 34 and "[ × _ & _ ]"
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ] _" defined at level 34 with arguments constr
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ] _" defined at level 34 with arguments constr
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ] _" defined at level 34 and "[ ]" defined at level 0
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ] _" defined at level 34 with arguments constr
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ] _" defined at level 34 with arguments constr
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ] _" defined at level 34 and "[ ]" defined at level 0
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Notations "[ _ ]" defined at level 0 with arguments constr
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.4-coq-8.20)
Automatically putting GFunInfo in Prop even though it was declared