macOS

GNATprove 14.1 #189

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
why3 (4.11.2)	9m 53s
why3 (4.11.2)	9m 12s
alt_ergo (4.11.2)	11m 2s
alt_ergo (4.11.2)	6m 56s
GPRbuild and GNATcov	19m 35s
GPRbuild and GNATcov	26m 31s
GNAT macOS	3h 9m 17s
GNAT macOS	3h 34m 52s
SPARK	31m 43s
SPARK	25m 59s
GNAT arm-elf-darwin	3h 6m 6s
GNAT arm-elf-darwin	2h 15m 30s
GNAT riscv64-elf-darwin	2h 14m 46s
GNAT riscv64-elf-darwin	2h 15m 29s
GNAT avr-elf-darwin	2h 24m 32s
GNAT avr-elf-darwin	2h 15m 10s
	23h 36m 33s