Skip to content
CI (Coq)

Bump actions/checkout from 3 to 4 #180

Sign in to view logs

Bump actions/checkout from 3 to 4

Bump actions/checkout from 3 to 4 #180

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (v8.15, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...
13m 15s
build (v8.14, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...
9m 59s
build (v8.13, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.13-daily)
9m 35s
build (v8.12, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.12-daily)
7m 49s
build (v8.11, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.11-daily)
6m 57s
build (8.15.0, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.15.0 libcoq-8.15.0-ocaml-de...
13m 22s
build (8.14.1, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.14.1 libcoq-8.14.1-ocaml-de...
10m 4s
build (8.13.2, fiat-core parsers, PROFILE=1, 2, coq-8.13.2 libcoq-8.13.2-ocaml-dev, ppa:jgross-h/...
8m 26s
build (8.12.2, fiat-core parsers, PROFILE=1, 2, coq-8.12.2 libcoq-8.12.2-ocaml-dev, ppa:jgross-h/...
9m 56s
build (8.11.2, fiat-core parsers, PROFILE=1, 2, coq-8.11.2 libcoq-8.11.2-ocaml-dev, ppa:jgross-h/...
6m 27s
1h 35m 50s