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 bea8695 commit 35af161Copy full SHA for 35af161
.github/workflows/pull-request-checks.yaml
@@ -72,7 +72,7 @@ jobs:
72
DEBIAN_FRONTEND: noninteractive
73
run: |
74
sudo apt-get update
75
- sudo apt-get install --no-install-recommends -yq clang clang++ gdb maven jq flex bison libxml2-utils cpanminus
+ sudo apt-get install --no-install-recommends -yqf clang clang++ gdb maven jq flex bison libxml2-utils cpanminus
76
make -C src minisat2-download
77
cpanm Thread::Pool::Simple
78
- name: Build with make
0 commit comments