Skip to content
CI

[serlib] Expose some more functions related to Require's AST. #374

Sign in to view logs

[serlib] Expose some more functions related to Require's AST.

[serlib] Expose some more functions related to Require's AST. #374

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 7s
build (4.10.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
16m 6s
build (4.11.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
15m 57s
build (4.12.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
15m 43s
build (4.13.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
15m 27s
build (4.14.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
15m 20s
build (5.0.x, test, coq.8.17.dev coq-mathcomp-ssreflect.dev)
16m 27s
build (ocaml-variants.4.12.1+options,ocaml-option-32bit, js-dune, coq.8.17.dev js_of_ocaml js_of_...
17m 50s
build (4.13.1, test, true)
11m 34s
2h 20m 31s