Skip to content
Nix CI for bundle 8.17

Backporting https://github.com/math-comp/analysis/pull/new/backport_1109 #984

Sign in to view logs

Backporting https://github.com/math-comp/analysis/pull/new/backport_1109

Backporting https://github.com/math-comp/analysis/pull/new/backport_1109 #984

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 1s
mathcomp-analysis-single
7m 37s
mathcomp-analysis
7m 55s
16m 33s