chore: CI job wasn't running due to incorrect name (#352)

leanprover-community · Nov 6, 2023 · 869c615 · 869c615
1 parent 6a5a33b
commit 869c615
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly_detect_failure.yml b/.github/workflows/nightly_detect_failure.yml
@@ -2,7 +2,7 @@ name: Post to zulip if the nightly-testing branch is failing.
 
 on:
   workflow_run:
-    workflows: ["continuous integration"]
+    workflows: ["ci"]
     types:
       - completed