Skip to content
Nix CI for bundle 8.18

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

Sign in to view logs

Remove lot of Canonical in favor of Export (canonical)

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 7s
mathcomp
1m 7s
mathcomp-analysis
13m 19s
mathcomp-analysis-single
13m 8s
28m 41s