Skip to content
CI

Merge pull request #17 from herbelin/master+adapt-coq-pr19107-merge-f… #137

Sign in to view logs

Merge pull request #17 from herbelin/master+adapt-coq-pr19107-merge-f…

Merge pull request #17 from herbelin/master+adapt-coq-pr19107-merge-f… #137

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:dev-ocaml-4.14.1-flambda)
4m 52s
4m 52s