chore: Make some of the new CI checks mandatory.

TokTok · Jan 31, 2024 · 236712e · 236712e
1 parent 895a5b3
commit 236712e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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)"