Code

General trivial clean up#37

Code

Merged

nspin merged 11 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/general-cleanupnspin/rust-sel4:pr/general-cleanupCopy head branch name to clipboardOct 24, 2023

+246-2,641

Commits

Commits on Oct 24, 2023

• Add to .gitignore

  Show description for f2735d3
  nspin

  committed
  f2735d3

• ci: Remove unused Makefile

  Show description for febc099
  nspin

  committed
  febc099

• Remove static Cargo registry experiment

  Show description for a9f66fa
  nspin

  committed
  a9f66fa

• nix: Remove cargo-index expression

  Show description for e9ee6d1
  nspin

  committed
  e9ee6d1

• nix: Remove cargo-helpers crate

  Show description for 146f453
  nspin

  committed
  146f453

• Improve style of Cargo.toml frontmatter

  Show description for c8cf4b4
  nspin

  committed
  c8cf4b4

• Bump from yanked ahash version

  Show description for cf02c29
  nspin

  committed
  cf02c29

• Use nix-shell in Makefile

  Show description for 1491d6b
  nspin

  committed
  1491d6b

• ci: Fix style in push.yaml

  Show description for c4deb7e
  nspin

  committed
  c4deb7e

• Add check-licenses target to Makefile

  Show description for dac7847
  nspin

  committed
  dac7847

• Simplify Cargo manifest generation Nix tool

  Show description for 249c3f1
  nspin

  committed
  249c3f1