Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 7 additions & 4 deletions .github/workflows/miri.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,10 +29,13 @@ jobs:
persist-credentials: false
submodules: false

- uses: dtolnay/rust-toolchain@a5f673d0ba8626c3977bb416a1612774bc82181b
with:
toolchain: nightly
components: miri, rust-src
# a5f673d0 is the 1.95.0 action snapshot (CodeQL SHA). It has no
# `toolchain` input — `with: toolchain: nightly` is ignored and
# `components: miri` then fails (`miri` is not a 1.95 component).
- uses: dtolnay/rust-toolchain@a5f673d0ba8626c3977bb416a1612774bc82181b # rustc 1.95.0

- name: rustup nightly + miri
run: rustup toolchain install nightly --component miri --component rust-src --profile minimal --allow-downgrade --no-self-update

- name: cargo miri test -p rbitcoin-primitives
env:
Expand Down
5 changes: 5 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,11 @@ before 1.0).

### Changed

- **Nightly Miri installs nightly:** `miri.yml` asked the CodeQL-pinned
1.95.0 `dtolnay/rust-toolchain` snapshot for `components: miri` (that
action has no `toolchain` input). First scheduled run died in 9s.
Nightly + miri is a `rustup` step; product rustc stays 1.95.

- **IBD exits to tip follow at the peer horizon:** leftover off-path
`getdata` is dropped so catch-up can complete; if peers then advertise
a higher tip (`lag > 2`), `headers_done` unlatches and `getheaders`
Expand Down
Loading