Skip to content
Back to pull request #1172

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

Sign in to view logs

Remove lot of Canonical in favor of Export (canonical)

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 6s
mathcomp
1m 1s
mathcomp-analysis-single
26m 16s
mathcomp-analysis
26m 2s
54m 25s