diff options
| author | bnewbold <bnewbold@robocracy.org> | 2023-03-27 08:19:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-27 10:19:26 -0500 |
| commit | 19f3a2fa92a61ddb785fc4e42d73792c1d0e772c (patch) | |
| tree | ed02e94801570c7d0388239fd5d03e21232f0203 | |
| parent | def8be2137846adac1afd09fa237e08656f97c5c (diff) | |
| download | voidsky-19f3a2fa92a61ddb785fc4e42d73792c1d0e772c.tar.zst | |
CI: run on all PRs, and on main (after merge/push) (#355)
| -rw-r--r-- | .github/workflows/lint.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 207e076ec..d61bfe770 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -2,8 +2,12 @@ name: Lint on: pull_request: + push: branches: - main +concurrency: + group: '${{ github.workflow }}-${{ github.head_ref || github.ref }}' + cancel-in-progress: true jobs: linting: |