Skip to content

Bump Rust toolchain and crate dependencies - #372

Merged
nspin merged 9 commits into
seL4:mainfrom
nspin:pr/update-deps
Aug 27, 2026
Merged

nspin merged 9 commits into
seL4:mainfrom
nspin:pr/update-deps

Conversation

@nspin

@nspin nspin commented Aug 27, 2026

Copy link
Copy Markdown
Member

Including Verus

@nspin
nspin force-pushed the pr/update-deps branch 2 times, most recently from 71fd866 to edef482 Compare August 27, 2026 19:03
nspin added 8 commits August 27, 2026 12:03
make \
    -C hacking/cargo-manifest-management \
    update-direct-dependency-allowlist

Signed-off-by: Nick Spinale <nick@nickspinale.com>
make -C hacking/cargo-manifest-management update

Signed-off-by: Nick Spinale <nick@nickspinale.com>
cargo update

Signed-off-by: Nick Spinale <nick@nickspinale.com>
To nightly-2026-08-21

Signed-off-by: Nick Spinale <nick@nickspinale.com>
-> 0.2026.08.23.fbbbbcf

Signed-off-by: Nick Spinale <nick@nickspinale.com>
Including changes in target dir structure

Signed-off-by: Nick Spinale <nick@nickspinale.com>
Following guidence from:
rust-lang/crates.io#13482

Signed-off-by: Nick Spinale <nick@nickspinale.com>
Signed-off-by: Nick Spinale <nick@nickspinale.com>
hashbrown 0.17.0+ has #![cfg_attr(not(doc), no_std)]

This means that we can't build docs for its transitive dependants on
no_std platforms.

Until we land a fix upstream, the fix is to depend on a patched
hashbrown for CI. This causes annoying ripples throughout the Nix code
in this repo.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
nspin merged commit 891b596 into seL4:main Aug 27, 2026
14 checks passed
@nspin
nspin deleted the pr/update-deps branch August 27, 2026 20:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant