Skip to content

Linter: Filter Output

Simon Spannagel requested to merge linter_filter into master

This adds a tiny change to the CI to redirect useless output from both clang-tidy and doxygen to /dev/null. This makes it a bit easier to find errors in the output of failed jobs. ☘

Merge request reports