Skip to content
CI

Unit test: Correct syntax for 'write safe-cnf <DIR>' #577

Sign in to view logs

Unit test: Correct syntax for 'write safe-cnf <DIR>'

Unit test: Correct syntax for 'write safe-cnf <DIR>' #577

Run time

Learn about OS pricing on GitHub Actions
Job Run time
wtest
4m 56s
xtest
47s
5m 43s