Compile and bench

opam: remove with-test commands #400

Sign in to view logs

Triggered via push January 27, 2025 15:52

yforster

master

Status Success

Total duration 42m 9s

Artifacts –

build.yml

on: push

Matrix: build-matrix

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.

build-matrix (coq-certicoq.opam, mattam82/metacoq:metacoq-1.3.2-coq-8.19)

Failed to remove 'http.https://github.com/.extraheader' from the git config