Combine the CI steps and pre-commit hook of the different repositories.#14
Merged
Jeffrey-Vervoort-KNMI merged 7 commits intomain from ciJan 16, 2024
+1,303,508-1,303,554
Commits
Commits on Jan 11, 2024
Commits on Jan 12, 2024
- committed
- committed
- committed