build and run tests

Add goblint_cil_pulledup attribute to static variables pulled up to g… #962

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests (ubuntu-24.04, 5.2.x)	6m 14s
tests (ubuntu-22.04, 4.14.x)	6m 33s
tests (ubuntu-24.04, 5.0.x)	6m 18s
tests (macos-26, 4.14.x)	8m 58s
tests (ubuntu-24.04, 5.1.x)	5m 19s
tests (ubuntu-24.04, 5.4.x)	7m 0s
tests (macos-15-intel, 4.14.x)	17m 35s
tests (ubuntu-24.04, 4.13.x)	5m 7s
tests (ubuntu-24.04, 4.14.x)	5m 56s
tests (ubuntu-24.04, 5.3.x)	6m 23s
tests (ubuntu-24.04, 4.12.x)	5m 57s
tests (macos-14, 4.14.x)	6m 38s
tests (macos-15, 4.14.x)	9m 46s
	1h 37m 44s