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.11.2)	11m 31s
GNAT macOS and GPRbuild	2h 27m 27s
why3 (4.11.2)	10m 23s
SPARK	27m 11s
GNATcov	15m 55s
GNAT arm-elf-darwin	2h 29m 43s
GNAT aarch64-elf-darwin	1h 48m 29s
GNAT riscv64-elf-darwin	1h 48m 0s
GNAT avr-elf-darwin	2h 14m 31s
	11h 53m 10s