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
GNAT Windows and gprbuild	3h 25m 55s
alt_ergo (4.11.2)	26m 52s
why3 (4.11.2)	10m 9s
spark	34m 2s
GNATcov	33m 41s
GNAT arm-elf-windows	1h 26m 27s
GNAT aarch64-elf-windows	1h 26m 31s
GNAT riscv64-elf-windows	1h 26m 9s
GNAT avr-elf-windows	1h 26m 33s
	10h 56m 19s