Merge pull request #406 from math-comp/coq-elpi-2 #1177

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
opam (8.16)	3m 10s
opam (8.17)	3m 6s
opam (8.18)	3m 16s
release	0s
	9m 32s