Windows

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GNAT Windows	3h 12m 25s
GPRbuild and GNATcov	21m 56s
alt_ergo (4.11.2)	16m 52s
why3 (4.11.2)	8m 47s
spark	1h 4m 31s
GNAT ${{ matrix.target }}-windows	0s
	5h 4m 31s