Coq

bump bedrock2 #721

Sign in to view logs

Triggered via push December 10, 2024 14:39

master

Status Failure

Total duration 7m 43s

Artifacts –

coq.yml

on: push

Matrix: build

Annotations

3 errors and 3 warnings

build (8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)

Process completed with exit code 100.

build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)

Process completed with exit code 2.

coq-check-all

Process completed with exit code 1.

build (8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

coq-check-all

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636