macOS_arm

Add scripts for MacOS X for ARM compiler #5

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.12.1)	8m 4s
GNAT macOS	1h 19m 43s
why3 (4.12.1)	10m 34s
SPARK	14m 55s
	1h 53m 16s