Skip to content
Docker CI

Generalize some results in monalg to nmodType and semiRingType #316

Sign in to view logs

Generalize some results in monalg to nmodType and semiRingType

Generalize some results in monalg to nmodType and semiRingType #316

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.4.0-coq-8.20)
4m 8s
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.0)
3m 35s
build (mathcomp/mathcomp-dev:coq-8.20)
19m 57s
27m 40s