Skip to content
Nix CI for bundle 9.1

rename and boolify some predicates for open intervals #498

Sign in to view logs

rename and boolify some predicates for open intervals

rename and boolify some predicates for open intervals #498

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rocq-core
1m 3s
coq
58s
mathcomp-analysis-single
14m 45s
mathcomp-classical
2m 51s
mathcomp-reals
2m 6s
mathcomp-analysis
12m 48s
mathcomp-reals-stdlib
1m 35s
mathcomp-experimental-reals
1m 54s
mathcomp-analysis-stdlib
13m 23s
mathcomp-infotheo
7m 2s
58m 25s