ci: Added github workflows for automated ci#2
Merged
georgeRobertson merged 16 commits intomainfrom Oct 14, 2025
Merged
Commits
Commits on Oct 10, 2025
Commits on Oct 13, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed