Open RobinDeSmet opened 3 months ago
Add CI in github actions for the repo, following things should be included:
Add CI in github actions for the repo, following things should be included: