CI

Support for Coq 8.20 #50

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-sqir (8.16, default)	9m 59s
build-sqir (8.17, default)	10m 3s
build-sqir (8.20, default)	2m 50s
build-voqc (8.16, default)	13m 44s
build-sqir (8.19, default)	9m 28s
build-sqir (8.18, default)	9m 27s
build-voqc (8.18, default)	12m 39s
build-voqc (8.17, default)	13m 28s
build-voqc (8.20, default)	2m 51s
build-voqc (8.19, default)	13m 0s
	1h 37m 29s