Skip to content
build and run tests

Merge pull request #217 from goblint/overflow-mod #907

Sign in to view logs

Merge pull request #217 from goblint/overflow-mod

Merge pull request #217 from goblint/overflow-mod #907

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tests (ubuntu-24.04, 5.4.x)
2m 48s
tests (ubuntu-24.04, 5.3.x)
3m 7s
tests (ubuntu-24.04, 5.1.x)
2m 49s
tests (ubuntu-24.04, 5.0.x)
2m 58s
tests (ubuntu-24.04, 4.13.x)
3m 4s
tests (ubuntu-22.04, 4.14.x)
2m 52s
tests (macos-15-intel, 4.14.x)
8m 58s
tests (ubuntu-24.04, 4.14.x)
2m 47s
tests (macos-14, 4.14.x)
5m 26s
tests (macos-15, 4.14.x)
7m 14s
tests (ubuntu-24.04, 5.2.x)
2m 51s
tests (macos-26, 4.14.x)
12m 32s
tests (ubuntu-24.04, 4.12.x)
2m 49s
1h 0m 15s