Code

Run Clippy in CI#225

Code

Merged

nspin merged 5 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/run-clippy-in-cinspin/rust-sel4:pr/run-clippy-in-ciCopy head branch name to clipboardOct 30, 2024

+74-43

Commits

Commits on Oct 30, 2024

• nix: Improve flexibility for overriding

  Show description for 4e4ddbf
  nspin

  committed
  4e4ddbf

  Copy full SHA for 4e4ddbf

• nix: Add configuration mechanism

  Show description for 1d967c9
  nspin

  committed
  1d967c9

  Copy full SHA for 1d967c9

• Add CLIPPY flag to makefile

  Show description for f11e09c
  nspin

  committed
  f11e09c

  Copy full SHA for f11e09c

• Default to running with clippy

  Show description for 01c7db4
  nspin

  committed
  01c7db4

  Copy full SHA for 01c7db4

• nix: Improve clarity

  Show description for 2c7a13b
  nspin

  committed
  2c7a13b

  Copy full SHA for 2c7a13b