Latest

Merge pull request #547 from AbsInt/coq-9.0 #70

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
latest (arm)	5m 25s
latest (ppc)	6m 4s
latest (aarch64)	6m 3s
latest (riscv)	5m 44s
latest (x86_32)	5m 39s
latest (x86_64)	5m 42s
	34m 37s