CI (matrix-sharded)

Sound LP-free ViT verification for VNN-COMP 2023 (ViTCrown) + competition wiring #272

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prepare	55s
high-memory tests	0s
tests 3/11	7m 5s
tests 4/11	7m 0s
tests 2/11	7m 11s
tests 5/11	6m 31s
tests 1/11	7m 7s
tests 6/11	7m 3s
tests 7/11	7m 29s
tests 10/11	6m 50s
tests 8/11	8m 38s
tests 9/11	6m 14s
tests 11/11	4m 50s
report	55s
	1h 17m 48s