Skip to content
Test

Fix feature documentation + bump version number #85

Sign in to view logs

Fix feature documentation + bump version number

Fix feature documentation + bump version number #85

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Bench
2m 22s
Check (ubuntu-latest)
1m 29s
Clippy
2m 12s
Check (ubuntu-latest, --no-default-features)
1m 26s
Check (windows-latest)
3m 39s
Check (windows-latest, --no-default-features)
3m 50s
Check (macos-latest)
6m 22s
Check (macos-latest, --no-default-features)
5m 36s
Check (ubuntu-latest, --features optim-mip)
4m 34s
Check (ubuntu-latest, --features optim-sat)
2m 20s
33m 50s