Skip to content

[CI] add coq-check-all job #664

[CI] add coq-check-all job

[CI] add coq-check-all job #664

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

succeeded Apr 13, 2024 in 3m 39s