Skip to content
Nix CI for bundle 8.19

nondecreasing functions have a countable number of discontinuities #1247

Sign in to view logs

nondecreasing functions have a countable number of discontinuities

nondecreasing functions have a countable number of discontinuities #1247

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
39s
mathcomp-analysis-single
15m 40s
mathcomp
40s
mathcomp-classical
3m 51s
mathcomp-reals
4m 38s
mathcomp-reals-stdlib
1m 33s
mathcomp-experimental-reals
1m 50s
mathcomp-analysis
13m 33s
mathcomp-analysis-stdlib
13m 10s
55m 34s