skip pr-lint when push; When the PR lint job succeeds or is skipped, the jobs depending on it can still run.

Author: 317787106

.github/workflows/pr-check.yml

@@ -14,6 +14,7 @@ concurrency:
 jobs:
   pr-lint:
     name: PR Lint
+    if: github.event_name == 'pull_request'
     runs-on: ubuntu-latest
 
     steps:
@@ -131,7 +132,7 @@ jobs:
 
   build:
     name: Build ${{ matrix.os-name }}(JDK ${{ matrix.java }} / ${{ matrix.arch }})
-    if: github.event.action != 'edited'
+    if: github.event.action != 'edited' && !failure()
     needs: [pr-lint, checkstyle]
     runs-on: ${{ matrix.runner }}
     strategy:
@@ -178,7 +179,7 @@ jobs:
 
   docker-build-rockylinux:
     name: Build rockylinux (JDK 8 / x86_64)
-    if: github.event.action != 'edited'
+    if: github.event.action != 'edited' && !failure()
     needs: [pr-lint, checkstyle]
     runs-on: ubuntu-latest
 
@@ -237,7 +238,7 @@ jobs:
 
   docker-build-debian11:
     name: Build debian11 (JDK 8 / x86_64)
-    if: github.event.action != 'edited'
+    if: github.event.action != 'edited' && !failure()
     needs: [pr-lint, checkstyle]
     runs-on: ubuntu-latest