Merge branch 'main' into remove_a_few_includes

achamayou · Jun 28, 2024 · 7edf72c · 7edf72c
2 parents e0aad93 + d88735c
commit 7edf72c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -77,7 +77,7 @@ jobs:
         run: |
           set -ex
           cd build
-          source env/bin/activate && ctest -VV --timeout 240 -L partitions -C partitions
+          ./tests.sh --timeout 240 --output-on-failure -L partitions -C partitions
         shell: bash
         if: "${{ matrix.platform.name != 'snp' }}" # Needs 1ES Pool support