Merge remote-tracking branch 'upstream/dummy-branch' into dummy-commit

ivy-llc · Sep 25, 2023 · 79cdaba · 79cdaba
2 parents fb427a8 + 4be043d
commit 79cdaba
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/pr-lint-bot.yml b/.github/workflows/pr-lint-bot.yml
@@ -1,8 +1,8 @@
 name: Trigger lint format
 
 on:
-  pull_request:
-    types: [ labeled, opened, synchronize, reopened, review_requested ]
+  issue_comment:
+    types: [created]
 
 permissions:
   contents: write