macOS

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GPRbuild and GNATcov	22m 15s
GNAT macOS	2h 43m 15s
why3 (4.11.2)	12m 11s
alt_ergo (4.11.2)	6m 46s
SPARK	1h 2m 17s
GNAT ${{ matrix.target }}-darwin	0s
	4h 26m 44s