Renovate CI
This updates the CI a bit here and there and adds some new features:
- Merge request linting is only done on the
diff
between the new branch andmaster
. This dramatically increases speed - Full-code linting is still done in the nightlies pipeline on
master
- A new target
lint-cmake
is format-checking and linting our CMake code (yes, sad this is even necessary...)
Enjoy.