Build

Work around broken Homebrew binary package for Menhir #86

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	7m 43s
linux (aarch64)	7m 27s
linux (arm)	9m 57s
linux (ppc)	9m 10s
linux (riscv)	7m 12s
linux (x86_32)	6m 52s
linux (x86_64)	6m 35s
	54m 56s