macOS_arm

Update for GNAT FSF 14.1 #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.12.1)	9m 17s
GNAT macOS	1h 33m 52s
why3 (4.12.1)	14m 42s
SPARK	15m 2s
	2h 12m 53s