Commitda5a44e

authored

Pin rustc nightly tonightly-2025-07-18 for miri tests (#5999)

* Pin rustc nightly to `nightly-2025-07-18` for miri tests* Fix indent* Set the miri rustc channel via env var

2 parentsbd8e557 +95880ce commitda5a44eCopy full SHA for da5a44e

File tree

-2

lines changed

-2

lines changed

Lines changed: 4 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -348,18 +348,20 @@ jobs:`
`348`	`348`	`name:Run tests under miri`
`349`	`349`	`runs-on:ubuntu-latest`
`350`	`350`	`timeout-minutes:30`
	`351`	`+env:`
	`352`	`+RUSTUP_TOOLCHAIN:nightly-2025-07-18# TODO: Set to "nightly" once https://github.com/rust-lang/rust/issues/144168 is fixed`
`351`	`353`	`steps:`
`352`	`354`	`-uses:actions/checkout@v4`
`353`	`355`	`-uses:dtolnay/rust-toolchain@master`
`354`	`356`	`with:`
`355`		`-toolchain:nightly`
	`357`	`+toolchain:${{ env.RUSTUP_TOOLCHAIN }}`
`356`	`358`	`components:miri`
`357`	`359`
`358`	`360`	`-uses:Swatinem/rust-cache@v2`
`359`	`361`	`-name:Run tests under miri`
`360`	`362`	`# miri-ignore-leaks because the type-object circular reference means that there will always be`
`361`	`363`	`# a memory leak, at least until we have proper cyclic gc`
`362`		`-run:MIRIFLAGS='-Zmiri-ignore-leaks' cargo +nightly miri test -p rustpython-vm -- miri_test`
	`364`	`+run:MIRIFLAGS='-Zmiri-ignore-leaks' cargo +${{ env.RUSTUP_TOOLCHAIN }} miri test -p rustpython-vm -- miri_test`
`363`	`365`
`364`	`366`	`wasm:`
`365`	`367`	`if:${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}`

Comments

(0)