macOS

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GNAT macOS	2h 44m 13s
GPRbuild and GNATcov	17m 19s
why3 (4.11.2)	9m 38s
alt_ergo (4.11.2)	7m 29s
SPARK	1h 8m 1s
GNAT arm-elf-darwin	1h 17m 57s
GNAT esp32-elf-darwin	1h 17m 39s
GNAT riscv64-elf-darwin	1h 17m 58s
GNAT avr-elf-darwin	1h 18m 4s
	9h 38m 18s