[B] Change some `Export QArith ZArith` to `Import` #153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	3m 17s
build (coqorg/coq:8.18)	3m 54s
build (coqorg/coq:8.17)	3m 44s
build (coqorg/coq:8.16)	3m 14s
build (coqorg/coq:8.15)	3m 5s
build (coqorg/coq:8.14)	4m 1s
build (coqorg/coq:8.13)	3m 46s
build (coqorg/coq:8.12)	3m 18s
	28m 19s