Switch default primary branch to main, update docs from Travis to GitHub Actions#1617
Merged
RobbieTheWagner merged 7 commits intomasterfrom Dec 5, 2024
Merged
Switch default primary branch to `main`, update docs from Travis to GitHub Actions#1617RobbieTheWagner merged 7 commits intomasterfrom
RobbieTheWagner merged 7 commits intomasterfrom
Commits
Commits on Dec 4, 2024
- committed
- committed
Commits on Dec 5, 2024
- committed
- committed
- committed
- committed
- committed