Skip to content
Nix CI for bundle 8.18

fixes #330 (floor and ceil subsumed by MathComp) (#1244) #798

Sign in to view logs

fixes #330 (floor and ceil subsumed by MathComp) (#1244)

fixes #330 (floor and ceil subsumed by MathComp) (#1244) #798

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
34s
mathcomp
35s
mathcomp-analysis-single
35s
mathcomp-analysis
39s
ssprove
9m 12s
11m 35s