Add continuous integration#1
Merged
JeanElsner merged 14 commits intomain from jean/dev/ghaNov 15, 2023
+133-3
Commits
Commits on Nov 14, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 15, 2023
- committed
- committed
- committed
- committed
- committed
- committed