switching to ninja
Description
Description
Details
Details
- Committed
Nicolas Richart <networms@gmail.ch> Oct 15 2021, 18:27 - Pushed
gitlab-richart Oct 15 2021, 18:28 - Parents
- rAKAec6ee22c01e8: Spliting the CI (it starts to be complicated)
- Branches
- Unknown
- Tags