Back to pull request #532

Use GNU make's wildcard expansion instead of the shell's, because the… #69

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	7m 12s
linux (aarch64)	7m 29s
linux (arm)	10m 8s
linux (ppc)	9m 17s
linux (riscv)	7m 26s
linux (x86_32)	6m 13s
linux (x86_64)	6m 30s
	54m 15s