ci: Fix proofs-team reference (#12716)

0d923d39 · Adrian Sutton · GitHub · cc42cc55 · 0d923d39
Commit 0d923d39 authored Oct 29, 2024 by Adrian Sutton Committed by GitHub Oct 29, 2024
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

config.yml .circleci/config.yml +1 -1

No files found.
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1031,7 +1031,7 @@ jobs:
          paths:
            - "/root/.cache/go-build"
      - notify-failures-on-develop:
-          mentions: "@proofs-squad"
+          mentions: "@proofs-team"
  semgrep-scan:
    parameters: