diff --git a/.github/workflows/windows-vcpkg.yml b/.github/workflows/windows-vcpkg.yml index c9363565bd..19a6859aca 100644 --- a/.github/workflows/windows-vcpkg.yml +++ b/.github/workflows/windows-vcpkg.yml @@ -131,6 +131,14 @@ jobs: path: 'simtest.json' prop_path: 'version' + - name: Run named mps tests + uses: ./.github/workflows/run-tests + with: + simtest-tag: ${{steps.simtest-version.outputs.prop}} + batch-name: valid-named-mps + os: ${{ matrix.test-platform }} + variant: "named-mps" + - name: Run tests for adequacy patch (CSR) uses: ./.github/workflows/run-tests with: diff --git a/simtest.json b/simtest.json index 2866454d33..15a52efb72 100644 --- a/simtest.json +++ b/simtest.json @@ -1,3 +1,3 @@ { - "version": "v8.7.0" + "version": "v8.7.2" }