Skip to content
CI

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

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. #373

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.09.x, test, coq.8.18.dev coq-mathcomp-ssreflect.1.dev)
13m 38s
build (4.10.x, test, coq.8.18.dev coq-mathcomp-ssreflect.1.dev)
12m 43s
build (4.11.x, test, coq.8.18.dev coq-mathcomp-ssreflect.1.dev)
12m 46s
build (4.12.x, test, coq.8.18.dev coq-mathcomp-ssreflect.1.dev)
12m 37s
build (4.13.x, test, coq.8.18.dev coq-mathcomp-ssreflect.1.dev)
13m 3s
build (4.14.x, test, coq.8.18.dev coq-mathcomp-ssreflect.1.dev)
13m 21s
build (ocaml-variants.4.12.1+options,ocaml-option-32bit, js-dune, coq.8.18.dev js_of_ocaml js_of_...
18m 29s
build (4.13.1, test, true)
12m 58s
1h 49m 35s