Repository navigation

Rust: Remove `argfile` dependency and read file list manually - #22916

Merged

paldepind merged 4 commits into

mainfrom

rust/remove-argfile

Nov 2, 2026

Merged

Rust: Remove `argfile` dependency and read file list manually#22916
paldepind merged 4 commits into
mainfrom
rust/remove-argfile

Commits on Oct 28, 2026
- Rust: Remove argfile dependency
  
  paldepind
  and
  Copilot
  committed
  81c366a
- Rust: Read extraction inputs from an explicit file list
  
  paldepind
  and
  Copilot
  committed
  08eff93
Commits on Oct 30, 2026
- Merge main into rust/remove-argfile
  paldepind
  committed
  392fba6
- Rust: Create `start` timer at the top of `main`
  paldepind
  committed
  be7c46b