Improve CI infrastructure for pre-commit#2110
Merged
EliahKagan merged 2 commits intoMar 9, 2026
Merged
Improve CI infrastructure for pre-commit#2110
Commits
Commits on Mar 9, 2026
Run the the `pre-commit` CI job on `ubuntu-slim`
Show description for 078f351committedKeep `pre-commit` hooks up to date using Dependabot
Show description for 35db809committed