Coq

CI: replace ubuntu-latest by hardcoded ubuntu version #722

Sign in to view logs

Triggered via push December 10, 2024 14:49

master

Status Failure

Total duration 9m 49s

Artifacts –

coq.yml

on: push

Matrix: build

Annotations

2 errors

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.