diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml index ee5fd1b0c6..8d6e93179a 100644 --- a/.github/workflows/build_and_test.yml +++ b/.github/workflows/build_and_test.yml @@ -271,6 +271,10 @@ jobs: - name: Checkout uses: actions/checkout@v4 + - name: sync(1) + shell: bash -euxo pipefail {0} + run: sync + - name: Pytest benchmarks uses: ./.github/actions/run-python-test-set with: