Skip to content
CaDiCaL

Disable stdout printing from within glucose and minisat #38

Sign in to view logs

Disable stdout printing from within glucose and minisat

Disable stdout printing from within glucose and minisat #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test (ubuntu-latest)
1m 1s
Build and test (macos-latest)
2m 9s
3m 10s