From 656c359c838acaa0d7cf4222c9691475445c52e2 Mon Sep 17 00:00:00 2001 From: karmacoma Date: Fri, 2 Aug 2024 11:04:21 -0700 Subject: [PATCH] test.yml: get back to a single pytest worker Suspecting race conditions here: ``` Build failed: ['forge', 'build', '--ast', '--root', 'tests/regression', '--extra-output', 'storageLayout', 'metadata'] ----------------------------- Captured stderr call ----------------------------- Failed to install solc 0.8.26: Text file busy (os error 26) Error: Text file busy (os error 26) ``` --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 75345e9e..f7166f15 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -53,4 +53,4 @@ jobs: run: python -m pip install -e . - name: Run pytest - run: pytest -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="--debug -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} --solver-timeout-assertion 0 ${{ inputs.halmos-options }}" ${{ inputs.pytest-options }} + run: pytest -n 1 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="--debug -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} --solver-timeout-assertion 0 ${{ inputs.halmos-options }}" ${{ inputs.pytest-options }}