Build Crate (Alire toolchain)

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib #1031

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-latest	2m 8s
ubuntu-latest	1m 10s
windows-latest	5m 18s
	8m 36s