build and run tests

Merge pull request #210 from goblint/github-pages-workflow #890

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests (ubuntu-24.04, 5.1.x)	2m 53s
tests (ubuntu-24.04, 5.3.x)	2m 51s
tests (macos-15, 4.14.x)	7m 25s
tests (ubuntu-24.04, 5.4.x)	3m 6s
tests (ubuntu-22.04, 4.14.x)	2m 38s
tests (ubuntu-24.04, 4.12.x)	2m 54s
tests (macos-14, 4.14.x)	6m 15s
tests (ubuntu-24.04, 5.2.x)	2m 48s
tests (macos-26, 4.14.x)	5m 7s
tests (ubuntu-24.04, 4.13.x)	2m 51s
tests (macos-15-intel, 4.14.x)	8m 39s
tests (ubuntu-24.04, 5.0.x)	3m 5s
tests (ubuntu-24.04, 4.14.x)	2m 42s
	53m 14s