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 3968b3b commit 0775b85Copy full SHA for 0775b85
.github/workflows/pull-request-checks.yaml
@@ -875,7 +875,7 @@ jobs:
875
make CXX=clcache BUILD_ENV=MSVC -C unit test TAGS="[z3]"
876
make CXX=clcache BUILD_ENV=MSVC -C jbmc/unit test
877
- name: Run CBMC regression tests
878
- run: make CXX=clcache BUILD_ENV=MSVC -C regression test-parallel JOBS=${{env.windows-vcpus}}
+ run: make CXX=clcache BUILD_ENV=MSVC -C regression test-parallel JOBS=1
879
880
# This job takes approximately 7 to 32 minutes
881
windows-msi-package:
0 commit comments