Skip to content
Docker CI

Continuous functions are dense in L1 (#1015) #2869

Sign in to view logs

Continuous functions are dense in L1 (#1015)

Continuous functions are dense in L1 (#1015) #2869

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:1.13.0-coq-8.14)
13m 31s
build (mathcomp/mathcomp:1.13.0-coq-8.15)
15m 18s
build (mathcomp/mathcomp:1.14.0-coq-8.14)
13m 5s
build (mathcomp/mathcomp:1.14.0-coq-8.15)
12m 55s
build (mathcomp/mathcomp:1.15.0-coq-8.14)
18m 3s
build (mathcomp/mathcomp:1.15.0-coq-8.15)
13m 18s
build (mathcomp/mathcomp:1.15.0-coq-8.16)
12m 9s
build (mathcomp/mathcomp:1.16.0-coq-8.14)
23m 29s
build (mathcomp/mathcomp:1.16.0-coq-8.15)
22m 19s
build (mathcomp/mathcomp:1.16.0-coq-8.16)
18m 4s
build (mathcomp/mathcomp-dev:coq-8.14)
15s
build (mathcomp/mathcomp-dev:coq-8.15)
15s
build (mathcomp/mathcomp-dev:coq-8.16)
35m 14s
build (mathcomp/mathcomp-dev:coq-dev)
35m 18s
3h 53m 13s