diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 78d4c60c0..fba21f0da 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -99,6 +99,7 @@ jobs: suite: - dist-vlt-0 - dist-vlt-1 + - dist-vlt-2 - vltmt-0 - vltmt-1 runs-on: ${{ matrix.os }} diff --git a/ci/ci-script.bash b/ci/ci-script.bash index 498531eed..70ded6d2c 100755 --- a/ci/ci-script.bash +++ b/ci/ci-script.bash @@ -85,10 +85,13 @@ elif [ "$CI_BUILD_STAGE_NAME" = "test" ]; then # Run the specified test case $TESTS in dist-vlt-0) - "$MAKE" -C test_regress SCENARIOS="--dist --vlt $sanitize" DRIVER_HASHSET=--hashset=0/2 + "$MAKE" -C test_regress SCENARIOS="--dist --vlt $sanitize" DRIVER_HASHSET=--hashset=0/3 ;; dist-vlt-1) - "$MAKE" -C test_regress SCENARIOS="--dist --vlt $sanitize" DRIVER_HASHSET=--hashset=1/2 + "$MAKE" -C test_regress SCENARIOS="--dist --vlt $sanitize" DRIVER_HASHSET=--hashset=1/3 + ;; + dist-vlt-2) + "$MAKE" -C test_regress SCENARIOS="--dist --vlt $sanitize" DRIVER_HASHSET=--hashset=2/3 ;; vltmt-0) "$MAKE" -C test_regress SCENARIOS=--vltmt DRIVER_HASHSET=--hashset=0/2