Skip to content
Nix CI for bundle 8.20

nondecreasing functions have a countable number of discontinuities #900

Sign in to view logs

nondecreasing functions have a countable number of discontinuities

nondecreasing functions have a countable number of discontinuities #900

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
43s
mathcomp-classical
3m 8s
mathcomp-analysis-single
13m 18s
mathcomp
39s
mathcomp-reals
2m 18s
mathcomp-reals-stdlib
2m 32s
mathcomp-analysis
12m 40s
mathcomp-experimental-reals
2m 49s
mathcomp-analysis-stdlib
11m 6s
49m 13s