diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index b7afb0467899..a4a8244b797d 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -73,6 +73,13 @@ jobs: ./tests.sh --timeout 360 --output-on-failure -LE "benchmark|suite|unit" shell: bash + - name: "Run partitions tests" + run: | + set -ex + cd build + ./tests.sh --timeout 360 --output-on-failure -C partitions -L '^partitions$' --no-tests=error + shell: bash + - name: "Generate coverage reports" run: | set -exo pipefail