ci: update names and steps (#1720)

2026-05-20 05:17:35 +00:00 · 2021-01-17 15:59:32 -05:00
parent 7997d6d22a
commit 8ece4b6412
6 changed files with 44 additions and 31 deletions
@@ -1,15 +0,0 @@
-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@v3.1.0
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}