diff --git a/.github/workflows/integration.yml b/.github/workflows/compiler-benchmark.yml similarity index 93% rename from .github/workflows/integration.yml rename to .github/workflows/compiler-benchmark.yml index 7a009da..c3df083 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/compiler-benchmark.yml @@ -1,4 +1,4 @@ -name: Integration test +name: Compiler benchmark on: push: branches: @@ -25,7 +25,7 @@ jobs: id: test timeout-minutes: 1 run: | - ./test.py + ./test.py --multithreading 4 - name: Perm issue fix if: success() || failure() diff --git a/.github/workflows/validate-tests.yml b/.github/workflows/validate-tests.yml index d1e63c1..c1b4327 100644 --- a/.github/workflows/validate-tests.yml +++ b/.github/workflows/validate-tests.yml @@ -23,7 +23,7 @@ jobs: - name: Tests tests (or tests test, whichever you want) id: test timeout-minutes: 1 - run: ./test.py --validate_tests + run: ./test.py --validate_tests --multithreading 4 - name: Perm issue fix if: failure()