CI: Add a comment when a pull request fails

laurent22 · Nov 24, 2023 · 84cc157 · 84cc157
1 parent 29b42b3
commit 84cc157
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/comment-on-failure.yml b/.github/workflows/comment-on-failure.yml
@@ -1,3 +1,4 @@
+name: comment-on-failure
 on:
   workflow_run:
     workflows: