chore: Moved infer from circleci to github actions.

TokTok · Jan 9, 2024 · 7b47f13 · 7b47f13
1 parent 1efc95b
commit 7b47f13
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/admin/settings.yaml b/admin/settings.yaml
@@ -326,7 +326,6 @@ c-toxcore:
           - "ci/circleci: bazel-tsan"
           - "ci/circleci: clang-analyze"
           - "ci/circleci: cpplint"
-          - "ci/circleci: infer"
           - "ci/circleci: static-analysis"
           - "ci/circleci: tsan"
           - "ci/circleci: ubsan"
@@ -396,12 +395,11 @@ dockerfiles:
           - "build (alpine-s390x)"
           - "build (bazel)"
           - "build (bazel-cache)"
+          - "build (compcert)"
           - "build (flutter-web)"
           - "build (frama-c)"
           - "build (freebsd)"
           - "build (haskell)"
-          - "ci/circleci: compcert"
-          - "ci/circleci: infer"
           - "CodeFactor"
           - "ghc-base"
           - "ghc-android (aarch64)"