Skip to content
Nix CI for bundle 8.19

Adapt to https://github.com/math-comp/math-comp/pull/1246 #363

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/1246

Adapt to https://github.com/math-comp/math-comp/pull/1246 #363

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
37s
mathcomp-analysis
13m 39s
mathcomp
37s
mathcomp-analysis-single
13m 35s
ssprove
9m 33s
38m 1s