Skip to content
Docker CI

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

Sign in to view logs

[WIP] replace the infrastructure of mpoly with monalg

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp-dev:coq-8.20)
20m 14s
build (mathcomp/mathcomp:2.4.0-coq-8.20)
3m 43s
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.0)
3m 29s
27m 26s