GNAT Linux

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.11.2)	4m 27s
GNAT Linux	1h 56m 41s
GPRbuild and GNATcov	14m 25s
why3 (4.11.2)	5m 4s
spark	41m 50s
GNAT ${{ matrix.target }}-linux	0s
	3h 2m 27s