build: rerun PR title lint when PR is edited (#872)

According to the [documentation](https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request), `on: [pull_request]` is triggered on `opened`, `synchronize` and `reopened`. This adds `edited`, so it can rerun if you edit the title of your PR Co-authored-by: Peter Deme <[email protected]> Co-authored-by: Amin Mahboubi <[email protected]>
GetStream · Jan 31, 2022 · 0e8dd47 · 0e8dd47
1 parent 8f5d273
commit 0e8dd47
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,5 +1,7 @@
 name: Lint
-on: [pull_request]
+on:
+  pull_request:
+    types: [opened, synchronize, reopened, edited]
 
 concurrency: 
   group: ${{ github.workflow }}-${{ github.head_ref }}