macOS_arm

Build GCC 14.1 on aarch64-apple-darwin. #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.12.1)	6m 13s
GNAT macOS	1h 16m 32s
why3 (4.12.1)	8m 11s
SPARK	13m 47s
	1h 44m 43s