Skip to content

Requires OCaml 4.13 #395

Requires OCaml 4.13

Requires OCaml 4.13 #395

Triggered via pull request December 5, 2024 10:14
Status Success
Total duration 41m 15s
Artifacts

build.yml

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

Annotations

12 warnings
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
Notation "Field( _ , _ )" was already used.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
The following logical axiom was
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
The following logical axiom was
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
There is no flag or option with this name: "Arguments".
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
Interpreting this declaration as if a global declaration prefixed by
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
Interpreting this declaration as if a global declaration prefixed by
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
Interpreting this declaration as if a global declaration prefixed by
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
This command is just asserting the names of arguments of
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
This command is just asserting the names of arguments of prop_ext.
build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)
This command is just asserting the names of arguments of proof_irr.