diff options
| author | Deadbeef <ent3rm4n@gmail.com> | 2022-12-22 15:47:14 +0000 |
|---|---|---|
| committer | Deadbeef <ent3rm4n@gmail.com> | 2022-12-22 17:50:56 +0000 |
| commit | 4566db335902599083bc622c82254f88870c6488 (patch) | |
| tree | d0498e987ad1decaf619dfd2cddcd20a7c7502c8 /.github | |
| parent | 2d8651a92761421b0437ffb44ba5670bea5ee1df (diff) | |
| download | rust-4566db335902599083bc622c82254f88870c6488.tar.gz | |
Run `tidy` in its own job in PR CI
This duplicates mingw-check into two jobs where one job
runs `tidy` only while the other job does not. The tidy
job will not cancel other jobs on failure.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2b6e96b467e..23d3e71424b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -41,16 +41,24 @@ jobs: TOOLSTATE_REPO: "https://github.com/rust-lang-nursery/rust-toolstate" CACHE_DOMAIN: ci-caches.rust-lang.org if: "github.event_name == 'pull_request'" + continue-on-error: "${{ matrix.tidy }}" strategy: matrix: include: - name: mingw-check + tidy: false + os: ubuntu-20.04-xl + env: {} + - name: mingw-check-tidy + tidy: true os: ubuntu-20.04-xl env: {} - name: x86_64-gnu-llvm-13 + tidy: false os: ubuntu-20.04-xl env: {} - name: x86_64-gnu-tools + tidy: false env: CI_ONLY_WHEN_SUBMODULES_CHANGED: 1 os: ubuntu-20.04-xl |