Skip to content
Docker CI

make dependency on Hierarchy Builder explicit in opam and README.md #62

Sign in to view logs

make dependency on Hierarchy Builder explicit in opam and README.md

make dependency on Hierarchy Builder explicit in opam and README.md #62

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.2.0-coq-8.19)
4m 3s
build (mathcomp/mathcomp:2.3.0-coq-8.20)
4m 2s
build (mathcomp/mathcomp:latest-coq-dev)
4m 45s
12m 50s