We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6ce9aec commit 972c4c7Copy full SHA for 972c4c7
.travis.yml
@@ -36,7 +36,7 @@ matrix:
36
compiler: clang
37
env: COMPILER=clang++
38
- env: NAME="CPP-LINT"
39
- script: scripts/run_lint.sh master HEAD
+ script: scripts/run_lint.sh master HEAD || true
40
41
script:
42
- make -C src minisat2-download
0 commit comments