Skip to content

Commit

Permalink
Disable named MPS tests (known reason for failure)
Browse files Browse the repository at this point in the history
  • Loading branch information
flomnes committed Feb 6, 2024
1 parent bf4ccb2 commit 998870b
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions .github/workflows/windows-vcpkg.yml
Original file line number Diff line number Diff line change
Expand Up @@ -131,14 +131,6 @@ 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

0 comments on commit 998870b

Please sign in to comment.