GNAT Linux

Build `esp32-elf` cross (without runtimes) #213

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.11.2)	3m 37s
GNAT Linux	1h 57m 16s
GPRbuild and GNATcov	14m 6s
why3 (4.11.2)	5m 22s
spark	42m 47s
GNAT arm-elf-linux	34m 21s
GNAT esp32-elf-linux	34m 3s
GNAT riscv64-elf-linux	34m 21s
GNAT avr-elf-linux	34m 20s
	5h 20m 13s