Skip to content
Docker CI

[WIP] replace the infrastructure of mpoly with monalg #399

Sign in to view logs

[WIP] replace the infrastructure of mpoly with monalg

[WIP] replace the infrastructure of mpoly with monalg #399

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.0)
3m 18s
build (mathcomp/mathcomp:2.4.0-coq-8.20)
3m 40s
build (mathcomp/mathcomp-dev:coq-8.20)
3m 39s
10m 37s