Build

Adapt to https://github.com/coq/coq/pull/20027 (#543) #98

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	8m 19s
linux (aarch64)	7m 44s
linux (arm)	9m 48s
linux (ppc)	9m 6s
linux (riscv)	7m 5s
linux (x86_32)	6m 7s
linux (x86_64)	6m 20s
	54m 29s