Repository navigation

Sane clippy linting - #20

Merged

yusufraji merged 8 commits into

mainfrom

sane-clippy-linting

Aug 15, 2026

Merged

Sane clippy linting#20
yusufraji merged 8 commits into
mainfrom
sane-clippy-linting

Commits on Aug 14, 2026
- Makefile: add clippy make targets
  yusufraji
  committed
  a8c0b78
- README: document clippy setup
  
  pflanze
  authored and
  yusufraji
  committed
  0080b99
- Cargo.toml: add clippy exclusions
  
  pflanze
  authored and
  yusufraji
  committed
  0427530
- Cargo.toml: explain the reasoning behind the clippy exclusions
  
  pflanze
  authored and
  yusufraji
  committed
  f3e6884
- Makefile, CI: add 'ci' make target; try to run jobs in parallel
  
  pflanze
  authored and
  yusufraji
  committed
  6a68795
- Clippy: run make clippy_fix
  yusufraji
  committed
  e9beb2d
- Clippy: allow module_inception
  yusufraji
  committed
  ad6d52e
- Clippy: better improvement
  yusufraji
  committed
  8208c83