build and run tests

Merge pull request #211 from goblint/issue-183 #899

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests (ubuntu-24.04, 5.2.x)	2m 53s
tests (macos-15, 4.14.x)	7m 0s
tests (ubuntu-24.04, 5.0.x)	3m 8s
tests (ubuntu-24.04, 4.12.x)	2m 59s
tests (macos-14, 4.14.x)	5m 17s
tests (ubuntu-24.04, 4.14.x)	2m 52s
tests (macos-26, 4.14.x)	5m 33s
tests (ubuntu-22.04, 4.14.x)	3m 12s
tests (ubuntu-24.04, 5.3.x)	2m 57s
tests (ubuntu-24.04, 4.13.x)	2m 50s
tests (ubuntu-24.04, 5.1.x)	2m 42s
tests (ubuntu-24.04, 5.4.x)	2m 47s
tests (macos-15-intel, 4.14.x)	9m 16s
	53m 26s