Skip to content
Nix CI for bundle 8.18

Remove lot of Canonical in favor of Export (canonical) (#1172) #528

Sign in to view logs

Remove lot of Canonical in favor of Export (canonical) (#1172)

Remove lot of Canonical in favor of Export (canonical) (#1172) #528

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 8s
mathcomp-analysis-single
13m 12s
mathcomp-analysis
13m 22s
mathcomp
1m 8s
28m 50s