Skip to content
Docker CI

A shorter proof of w_upper_bounded #158

Sign in to view logs

A shorter proof of w_upper_bounded

A shorter proof of w_upper_bounded #158

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.0.0-coq-8.16)
1h 0m 15s
build (mathcomp/mathcomp:2.0.0-coq-8.17)
1h 3m 38s
build (mathcomp/mathcomp:2.0.0-coq-8.18)
39m 15s
build (mathcomp/mathcomp-dev:coq-8.16)
1h 4m 35s
build (mathcomp/mathcomp-dev:coq-8.17)
1h 11m 30s
build (mathcomp/mathcomp-dev:coq-8.18)
37m 40s
build (mathcomp/mathcomp-dev:coq-dev)
43m 19s
6h 20m 12s