CI: clear out old jobs, add new ones, fix existing #557
Merged
sporkmonger merged 12 commits intosporkmonger:mainfrom Nov 12, 2025
Merged
CI: clear out old jobs, add new ones, fix existing #557sporkmonger merged 12 commits intosporkmonger:mainfrom
sporkmonger merged 12 commits intosporkmonger:mainfrom
Commits
Commits on Nov 10, 2025
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- committed
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
Commits on Nov 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed