Skip to content
Back to pull request #95

Bump actions/checkout from 3 to 4 #181

Sign in to view logs

Bump actions/checkout from 3 to 4

Bump actions/checkout from 3 to 4 #181

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...
9m 16s
build (v8.14, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...
10m 33s
build (v8.13, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.13-daily)
8m 49s
build (v8.12, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.12-daily)
6m 46s
build (v8.11, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.11-daily)
7m 43s
build (8.15.0, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.15.0 libcoq-8.15.0-ocaml-de...
10m 33s
build (8.14.1, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.14.1 libcoq-8.14.1-ocaml-de...
10m 20s
build (8.13.2, fiat-core parsers, PROFILE=1, 2, coq-8.13.2 libcoq-8.13.2-ocaml-dev, ppa:jgross-h/...
7m 11s
build (8.12.2, fiat-core parsers, PROFILE=1, 2, coq-8.12.2 libcoq-8.12.2-ocaml-dev, ppa:jgross-h/...
8m 13s
build (8.11.2, fiat-core parsers, PROFILE=1, 2, coq-8.11.2 libcoq-8.11.2-ocaml-dev, ppa:jgross-h/...
7m 54s
1h 27m 18s