GNAT Linux

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.11.2)	3m 26s
GPRbuild and GNATcov	13m 45s
GNAT Linux	1h 55m 12s
why3 (4.11.2)	5m 10s
spark	42m 10s
GNAT arm-elf-linux	35m 7s
GNAT esp32-elf-linux	34m 52s
GNAT riscv64-elf-linux	35m 8s
GNAT avr-elf-linux	35m 7s
	5h 19m 57s