Skip to content

Commit

Permalink
Bump SimTest
Browse files Browse the repository at this point in the history
This reverts commit 998870b.
  • Loading branch information
flomnes committed Feb 6, 2024
1 parent 998870b commit 0d0cc67
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 1 deletion.
8 changes: 8 additions & 0 deletions .github/workflows/windows-vcpkg.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down
2 changes: 1 addition & 1 deletion simtest.json
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
{
"version": "v8.7.0"
"version": "v8.7.2"
}

0 comments on commit 0d0cc67

Please sign in to comment.