diff options
| author | Philipp Krones <hello@philkrones.com> | 2025-01-28 10:29:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-28 10:29:58 +0000 |
| commit | 25509e71359ea0b218309d4b7e94bf40e1ef716e (patch) | |
| tree | a33c60252fe9943f2736df80a3f122771a26dc96 | |
| parent | 80c2d098516fc500ad1f1a57c762fa6f224064f1 (diff) | |
| parent | 75b39d00abc3a8b4f974673e4948152246dc3824 (diff) | |
| download | rust-25509e71359ea0b218309d4b7e94bf40e1ef716e.tar.gz rust-25509e71359ea0b218309d4b7e94bf40e1ef716e.zip | |
exclude some directories from `Lintcheck` CI (#14084)
Currently, the CI pipeline triggers `Lintcheck` for all PRs. However, this check takes significant amount of time and seems unnecessary for some certain directories that are frequently updated. r? flip1995 changelog: none
| -rw-r--r-- | .github/workflows/lintcheck.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/lintcheck.yml b/.github/workflows/lintcheck.yml index 64966f1d189..d487c7d9498 100644 --- a/.github/workflows/lintcheck.yml +++ b/.github/workflows/lintcheck.yml @@ -1,6 +1,12 @@ name: Lintcheck -on: pull_request +on: + pull_request: + paths-ignore: + - 'book/**' + - 'util/**' + - 'tests/**' + - '*.md' env: RUST_BACKTRACE: 1 |