fixup! CI: update SVF to latest upstream release

SVF test suite does not seems to be parallel friendly.
mchalupa · Oct 20, 2021 · 765b38d · 765b38d
1 parent 4f21761
commit 765b38d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/svf.yml b/.github/workflows/svf.yml
@@ -90,7 +90,7 @@ jobs:
           cmake --build svf/Release-build
           (cd svf/Release-build && \
            PATH="$(llvm-config-12 --bindir):$PATH" \
-           ctest --progress --output-on-failure -j$(nproc))
+           ctest --progress --output-on-failure)
 
       - name: '[Dynamic LLVM] Configure CMake project'
         run: |