Skip to content
CI

[build] Depend on result explicitly. #472

Sign in to view logs

[build] Depend on result explicitly.

[build] Depend on result explicitly. #472

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.09.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
16m 14s
build (4.10.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
16m 31s
build (4.11.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
15m 55s
build (4.12.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
16m 16s
build (4.13.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
16m 11s
build (4.14.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
15m 39s
build (5.0.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
17m 14s
build (ocaml-variants.4.12.1+options,ocaml-option-32bit, js-dune, coq.8.17.dev js_of_ocaml js_of_...
16m 2s
build (4.13.1, test, true)
11m 25s
2h 21m 27s