Latest

Work around broken Homebrew binary package for Menhir #45

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
latest (aarch64)	6m 1s
latest (arm)	5m 34s
latest (ppc)	5m 53s
latest (riscv)	5m 40s
latest (x86_32)	5m 46s
latest (x86_64)	5m 46s
	34m 40s