Enhance pre-commit config and modernize CI workflow#1
Merged
mrkshields merged 5 commits intomasterfrom Feb 4, 2026
Merged
Commits
Commits on Feb 4, 2026
- andcommitted
- committed
Mark Shields - committed
Mark Shields - committed
Mark Shields - committed
Mark Shields