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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	5m 51s
linux (aarch64)	6m 54s
linux (arm)	9m 2s
linux (ppc)	8m 32s
linux (riscv)	6m 39s
linux (x86_32)	5m 39s
linux (x86_64)	6m 6s
	48m 43s