chore: add pr title lint

Signed-off-by: Jef LeCompte <jeffreylec@gmail.com>
2026-05-20 01:47:39 +00:00 · 2020-10-06 22:34:55 -04:00
parent 7274ead169
commit 812093455e
1 changed files with 15 additions and 0 deletions
@@ -0,0 +1,15 @@
+name: pr-lint
+on:
+  pull_request_target:
+    types:
+      - opened
+      - edited
+      - reopened
+      - synchronize
+jobs:
+  main:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: amannn/action-semantic-pull-request@v2.0.0
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}