Code

Address clippy lints#27

Code

Merged

nspin merged 3 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/address-clippy-lintsnspin/rust-sel4:pr/address-clippy-lintsCopy head branch name to clipboardOct 4, 2023

+58-28

Commits

Commits on Oct 3, 2023

• Address clippy lints

  Show description for b9c877a
  nspin

  committed
  b9c877a

  Copy full SHA for b9c877a

• ci: Reintroduce disk space optimization hack

  Show description for f0dbeb9
  nspin

  committed
  f0dbeb9

  Copy full SHA for f0dbeb9

• ci: Minimize scope of project source

  Show description for 6d27661
  nspin

  committed
  6d27661

  Copy full SHA for 6d27661