Repository navigation

ci: run latest-deps check daily and add stable clippy - #1623

Merged

akern40 merged 1 commit into

devin/1792362194-daily-latest-deps

Oct 18, 2026

Merged

ci: run latest-deps check daily and add stable clippy#1623
akern40 merged 1 commit into
masterfrom
devin/1792362194-daily-latest-deps

Commits on Oct 18, 2026
- ci: run latest-deps check daily and add stable clippy
  
  akern40
  and
  devin-ai-integration[bot]
  committed
  7ef6871