diff --git a/.github/workflows/source/doxygen b/.github/workflows/source/doxygen index 31356442e80..0bff224d71c 100755 --- a/.github/workflows/source/doxygen +++ b/.github/workflows/source/doxygen @@ -12,4 +12,8 @@ set -eu -o pipefail cd Docs + +# treat all warnings as errors +echo "WARN_AS_ERROR = YES" >> Doxyfile + doxygen