build and run tests

Merge pull request #197 from goblint/loop-condition-labels #834

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests (macos-13, 4.13.1)	24m 1s
tests (macos-13, 4.14.x)	14m 59s
tests (macos-13, 5.0.0)	16m 21s
tests (macos-13, 5.2.0)	18m 20s
tests (ubuntu-latest, 4.13.1)	5m 59s
tests (macos-13, 4.12.0)	13m 37s
tests (ubuntu-latest, 4.14.x)	5m 52s
tests (ubuntu-latest, 4.12.0)	6m 3s
tests (macos-13, 5.1.0)	15m 20s
tests (ubuntu-latest, 5.1.0)	6m 11s
tests (macos-latest, 4.14.x)	10m 55s
tests (ubuntu-latest, 5.2.0)	6m 22s
tests (ubuntu-latest, 5.0.0)	6m 17s
	2h 30m 17s