diff options
author | Joas Schilling <coding@schilljs.com> | 2022-10-13 15:10:19 +0200 |
---|---|---|
committer | Joas Schilling <coding@schilljs.com> | 2022-10-13 15:15:37 +0200 |
commit | 0aa1950b49b3e469160d1b02d875ab75fd12c235 (patch) | |
tree | d4a82f6faefcab999314f6c08e74b238b711853a /.github/workflows/lint-php-cs.yml | |
parent | 0bcf98386171d76209b9f6e10870ed5015bd87de (diff) |
🤖 Reduce CI time on PR merges
Signed-off-by: Joas Schilling <coding@schilljs.com>
Diffstat (limited to '.github/workflows/lint-php-cs.yml')
-rw-r--r-- | .github/workflows/lint-php-cs.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.github/workflows/lint-php-cs.yml b/.github/workflows/lint-php-cs.yml index 9aad51409..de7b34d5b 100644 --- a/.github/workflows/lint-php-cs.yml +++ b/.github/workflows/lint-php-cs.yml @@ -7,10 +7,6 @@ name: Lint on: pull_request: - push: - branches: - - master - - stable* jobs: lint: |