[CI] Add newer Coq #511

Sign in to view logs

Triggered via push April 1, 2023 18:00

JasonGross

JasonGross-patch-1

Status Failure

Total duration 13m 6s

Artifacts –

coq.yml

on: push

Matrix: build

Annotations

3 errors

build (ubuntu-latest, 8.16.0, coq-8.16.0 libcoq-8.16.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...

Process completed with exit code 100.

build (ubuntu-latest, v8.16, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.16-daily)

Process completed with exit code 2.

Process completed with exit code 1.