macOS

GNATprove 14.1 #181

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GNAT macOS	5m 50s
GNAT macOS	5m 50s
GPRbuild and GNATcov	11m 23s
GPRbuild and GNATcov	11m 23s
why3 (4.11.2)	10m 45s
why3 (4.11.2)	10m 45s
alt_ergo (4.11.2)	6m 46s
alt_ergo (4.11.2)	6m 46s
GNAT ${{ matrix.target }}-darwin	0s
GNAT ${{ matrix.target }}-darwin	0s
SPARK	15m 34s
SPARK	57m 34s
	2h 22m 36s