continue setting up ci#3
Merged
dholzmueller merged 12 commits intodholzmueller:mainfrom jeromedockes:setup-ci-continuedJul 9, 2024
+17-14
Commits
Commits on Jul 9, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed