Modify specs to compile AArch64-elf cross compiler #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.12.1)	7m 17s
GNAT macOS	18m 44s
why3 (4.12.1)	8m 19s
SPARK	15m 6s
	49m 26s