Back to pull request #1172

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 7s
mathcomp	1m 11s
mathcomp-analysis	13m 3s
mathcomp-analysis-single	14m 26s
	29m 47s