Build

Upgrade gnatprove to version 15 #183

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
main (windows-latest)	11m 2s
main (ubuntu-22.04)	6m 32s
main (macos-13)	8m 54s
	26m 28s