Running hlint only on PR OR push, not both

2026-06-01 10:25:18 +00:00 · 2022-01-26 17:15:12 +01:00
parent 877d4c398f
commit 69192a6321
1 changed files with 1 additions and 0 deletions
@@ -4,6 +4,7 @@ on: [pull_request, push]
 jobs:
  hlint:
    runs-on: ubuntu-latest
+    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
    steps:
    - uses: actions/checkout@v2