Skip to content
Docker CI

[CI] Update Nix toolbox #126

Sign in to view logs

[CI] Update Nix toolbox

[CI] Update Nix toolbox #126

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.3.0-coq-8.20)
6m 15s
build (mathcomp/mathcomp-dev:coq-8.20)
3m 26s
build (mathcomp/mathcomp-dev:rocq-prover-dev)
5m 55s
build (mathcomp/mathcomp:2.3.0-coq-8.20)
6m 16s
21m 52s