.

GaloisInc · Aug 22, 2024 · 195b345 · 195b345
1 parent f89cfa2
commit 195b345
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci-bench.yml b/.github/workflows/ci-bench.yml
@@ -112,3 +112,5 @@ jobs:
         github-token: ${{ secrets.GITHUB_TOKEN }}
         # Push and deploy GitHub pages branch automatically
         auto-push: true
+        alert-comment-cc-users: '@jprider63'
+        fail-on-alert: true