diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 89148beea40..e25c327be97 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -348,18 +348,20 @@ jobs: name: Run tests under miri runs-on: ubuntu-latest timeout-minutes: 30 + env: + RUSTUP_TOOLCHAIN: nightly-2025-07-18 # TODO: Set to "nightly" once https://github.com/rust-lang/rust/issues/144168 is fixed steps: - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@master with: - toolchain: nightly + toolchain: ${{ env.RUSTUP_TOOLCHAIN }} components: miri - uses: Swatinem/rust-cache@v2 - name: Run tests under miri # miri-ignore-leaks because the type-object circular reference means that there will always be # a memory leak, at least until we have proper cyclic gc - run: MIRIFLAGS='-Zmiri-ignore-leaks' cargo +nightly miri test -p rustpython-vm -- miri_test + run: MIRIFLAGS='-Zmiri-ignore-leaks' cargo +${{ env.RUSTUP_TOOLCHAIN }} miri test -p rustpython-vm -- miri_test wasm: if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}