[CI] Add newer Coq #516

Sign in to view logs

Triggered via pull request April 1, 2023 20:15

JasonGross

synchronize #100

JasonGross-patch-1

Status Failure

Total duration 11m 46s

Artifacts –

coq.yml

on: pull_request

Matrix: build

Annotations

2 errors

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

Process completed with exit code 100.

Process completed with exit code 1.