faster, cheaper (pick two): improve CI workflow and switch to free github runner#5702
Merged
faster, cheaper (pick two): improve CI workflow and switch to free github runner#5702
Commits
Commits on Nov 14, 2025
- committed
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed