Windows

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.11.2)	18m 18s
GPRbuild and GNATcov	21m 48s
why3 (4.11.2)	8m 53s
GNAT Windows	3h 16m 44s
spark	1h 4m 45s
GNAT arm-elf-windows	1h 36m 44s
GNAT esp32-elf-windows	1h 36m 19s
GNAT riscv64-elf-windows	1h 36m 40s
GNAT avr-elf-windows	1h 36m 43s
	11h 36m 54s