Latest

"oldest" CI test: use the oldest supported Menhir version #11

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
latest (aarch64)	5m 53s
latest (arm)	5m 22s
latest (ppc)	5m 45s
latest (riscv)	5m 32s
latest (x86_32)	5m 32s
latest (x86_64)	5m 33s
	33m 37s