Skip to content
CaDiCaL

Check variable addition overflow in debug builds #341

Sign in to view logs

Check variable addition overflow in debug builds

Check variable addition overflow in debug builds #341

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test (ubuntu-latest)
2m 7s
Build and test (macos-latest)
2m 6s
4m 13s