diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 155fe12..7b2665d 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -3,8 +3,10 @@ on: push: branches: [main] paths: ['.github/workflows/**', 'actions/**'] + # Every pull request, not only those touching workflows: `actionlint` is this repo's required + # check, and a required check that a README-only PR never runs leaves that PR unmergeable. + # It takes seconds on a hosted runner. pull_request: - paths: ['.github/workflows/**', 'actions/**'] permissions: contents: read jobs: