refactor: remove Miri job from CI configuration

2026-01-30 18:09:25 +01:00
parent 530faba61c
commit 2e96115db7
1 changed files with 0 additions and 17 deletions
@@ -146,23 +146,6 @@ jobs:
      - name: Check semver
        run: cargo semver-checks check-release
  miri:
    name: Miri
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6
      - name: Install Rust nightly and Miri
        run: |
          rustup toolchain install nightly --component miri
          rustup override set nightly
      - uses: Swatinem/rust-cache@v2
      - name: Setup Miri
        run: cargo miri setup
      - name: Run tests under Miri
        run: cargo miri test
        env:
          MIRIFLAGS: -Zmiri-strict-provenance
  minimal-versions:
    name: Minimal Versions
    runs-on: ubuntu-latest