diff options
| author | flip1995 <hello@philkrones.com> | 2020-02-04 18:42:45 +0100 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-02-12 09:34:28 +0100 |
| commit | abb095ddedd3c918d7c55d028d7f134bf4a507d3 (patch) | |
| tree | 3c7ca297338e2a7979d72479663eecaa78d9e39c /.github/workflows/clippy_dev.yml | |
| parent | b8b47ab6fe4e1c18db2685c406a508fe145c7de9 (diff) | |
Run bors checks unconditionally
This is important, since bors doesn't know optional jobs. Otherwise bors would time out, when a check doesn't get run.
Diffstat (limited to '.github/workflows/clippy_dev.yml')
| -rw-r--r-- | .github/workflows/clippy_dev.yml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/.github/workflows/clippy_dev.yml b/.github/workflows/clippy_dev.yml index e4409ee80a5..f9e5d73a345 100644 --- a/.github/workflows/clippy_dev.yml +++ b/.github/workflows/clippy_dev.yml @@ -1,14 +1,10 @@ name: Clippy Dev Test on: - # Only run on paths, that get checked by the clippy_dev tool push: - paths: - - 'CAHNGELOG.md' - - 'README.md' - - '**.stderr' - - '**.rs' + branches: [auto, try] pull_request: + # Only run on paths, that get checked by the clippy_dev tool paths: - 'CAHNGELOG.md' - 'README.md' |