ci: increase parallelism to 4 and see if it's faster

Author: katrinafyi

.github/workflows/run-examples.yml

@@ -65,7 +65,7 @@ jobs:
       - run: dotnet tool install --global boogie --version '3.4.3'
 
       - run: ./mill compile
-      - run: ./scripts/scalatest.sh -oID -PS2 -T 1000000 -n test_util.tags.StandardSystemTest
+      - run: ./scripts/scalatest.sh -oID -PS4 -T 1000000 -n test_util.tags.StandardSystemTest
 
       - uses: actions/upload-artifact@v4
         with:
@@ -116,7 +116,7 @@ jobs:
       - run: dotnet tool install --global boogie --version '3.4.3'
 
       - run: ./mill test.compile
-      - run: ./scripts/scalatest.sh -oID -PS2 -T 1000000 -n test_util.tags.UnitTest
+      - run: ./scripts/scalatest.sh -oID -PS4 -T 1000000 -n test_util.tags.UnitTest
 
         # every test with package prefix:
         # sbt "show test:definedTests"
@@ -144,4 +144,4 @@ jobs:
       - run: echo "All systemtest suites:" && ./mill test.testOnly '*SystemTests*' -- -z 'xxxx'
 
       - run: ./mill compile
-      - run: ./scripts/scalatest.sh -oID -PS2 -T 1000000 -n test_util.tags.AnalysisSystemTest
+      - run: ./scripts/scalatest.sh -oID -PS4 -T 1000000 -n test_util.tags.AnalysisSystemTest