Add GitHub Actions workflow for CI#94
Merged
klaasnicolaas merged 11 commits intomainfrom klaas-2024-004Oct 28, 2024
+37
Commits
Commits on Oct 28, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed