diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-06-08 21:19:24 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-06-09 08:17:56 +0200 |
| commit | cb9980133cbb670387a597c349397cd38f52edee (patch) | |
| tree | 4ecfdbb716e9eec0dc9912182bd2dd109f92283b /src/ci/github-actions | |
| parent | 334ba812755b974ecc46713fcdd38836b6182746 (diff) | |
| download | rust-cb9980133cbb670387a597c349397cd38f52edee.tar.gz rust-cb9980133cbb670387a597c349397cd38f52edee.zip | |
Do not checkout GCC submodule for the tidy job
Diffstat (limited to 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/jobs.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml index 3f8ea696ee2..43c77d1ddf7 100644 --- a/src/ci/github-actions/jobs.yml +++ b/src/ci/github-actions/jobs.yml @@ -129,6 +129,10 @@ pr: - name: mingw-check-tidy continue_on_error: true free_disk: false + env: + # This submodule is expensive to checkout, and it should not be needed for + # tidy. This speeds up the PR CI job by ~1 minute. + SKIP_SUBMODULES: src/gcc <<: *job-linux-4c - name: x86_64-gnu-llvm-19 env: |