Windows

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
alt_ergo (4.11.2)	9m 17s
GNAT Windows	3h 12m 44s
GPRbuild and GNATcov	21m 48s
why3 (4.11.2)	9m 5s
spark	1h 3m 41s
GNAT ${{ matrix.target }}-windows	0s
	4h 56m 35s