Skip to content
Coq

build(deps): bump bedrock2 from f5b29c5 to 29e7fe9 #612

Sign in to view logs

build(deps): bump bedrock2 from f5b29c5 to 29e7fe9

build(deps): bump bedrock2 from f5b29c5 to 29e7fe9 #612

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (8.16.1, coq-8.16.1 libcoq-8.16.1-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
3m 15s
build (8.17.0, coq-8.17.0 libcoq-8.17.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
4m 27s
build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)
4m 50s
12m 32s