Code

Bump Nixpkgs and Rust#192

Code

Merged

nspin merged 9 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/bump-nixpkgs-and-rustnspin/rust-sel4:pr/bump-nixpkgs-and-rustCopy head branch name to clipboardSep 18, 2024

+299-176

Commits

Commits on Sep 18, 2024

• Abbreviate Makefile argument

  Show description for 40c5a92
  nspin

  committed
  40c5a92

  Copy full SHA for 40c5a92

• nix: Bump Nixpkgs

  Show description for d61b18c
  nspin

  committed
  d61b18c

  Copy full SHA for d61b18c

• nix: Provide suitable MissingH version to capdl-tool

  Show description for 562f7c0
  nspin

  committed
  562f7c0

  Copy full SHA for 562f7c0

• nix: Bump Kani

  Show description for a30eeef
  nspin

  committed
  a30eeef

  Copy full SHA for a30eeef

• Address clippy lints

  Show description for 0830a99
  nspin

  committed
  0830a99

  Copy full SHA for 0830a99

• nix: Specify edition for sysroot workspace

  Show description for c0460bc
  nspin

  committed
  c0460bc

  Copy full SHA for c0460bc

• Bump Rust toolchain

  Show description for 4e2677c
  nspin

  committed
  4e2677c

  Copy full SHA for 4e2677c

• Fixes after bumping Rust toolchain

  Show description for f4119f1
  nspin

  committed
  f4119f1

  Copy full SHA for f4119f1

• Address clippy lints

  Show description for 93c58d0
  nspin

  committed
  93c58d0

  Copy full SHA for 93c58d0