diff --git a/admin/settings.yaml b/admin/settings.yaml index bea72bb..3f2c156 100644 --- a/admin/settings.yaml +++ b/admin/settings.yaml @@ -304,7 +304,11 @@ c-toxcore: - "analysis (compcert)" - "analysis (cppcheck)" - "analysis (doxygen)" + - "analysis (goblint)" + - "analysis (infer)" - "analysis (misra)" + - "analysis (modules)" + - "analysis (rpm)" - "analysis (tcc)" - "analysis (tokstyle)" - "build-msvc (2019)"