ci: remove --test-parallel flag that will be deprecated in the next r…

…elease
morpho-org · Sep 25, 2024 · 72115a9 · 72115a9
1 parent f5aac05
commit 72115a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-foundry.yml b/.github/workflows/ci-foundry.yml
@@ -47,4 +47,4 @@ jobs:
         run: python3 -m pip install --upgrade halmos
 
       - name: Run halmos
-        run: halmos --function testProve --loop 4 --test-parallel --solver-timeout-assertion 0
+        run: halmos --function testProve --loop 4 --solver-timeout-assertion 0