Skip to content
RustSAT

feat(batsat): update batsat to 0.6.0 #611

Sign in to view logs

feat(batsat): update batsat to 0.6.0

feat(batsat): update batsat to 0.6.0 #611

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test (ubuntu-latest, 1.66.1)
3m 6s
kani
37s
Build and test (ubuntu-latest, stable)
1m 40s
Build and test (macos-latest, 1.66.1)
3m 49s
Build and test (macos-latest, stable)
1m 19s
Build and test (windows-latest, 1.66.1)
3m 28s
Build and test (windows-latest, stable)
4m 58s
18m 57s