Browse Source

Deduplicate warnings from lint vs build jobs

pull/109/head
Ian Chamberlain 2 years ago
parent
commit
c40cf5a94e
No known key found for this signature in database
GPG Key ID: AE5484D09405AA60
  1. 9
      .github/workflows/ci.yml

9
.github/workflows/ci.yml

@ -37,6 +37,12 @@ jobs: @@ -37,6 +37,12 @@ jobs:
with:
toolchain: ${{ matrix.toolchain }}
- name: Hide duplicate warnings from lint job
if: ${{ matrix.toolchain == 'nightly' }}
run: |
echo "::remove-matcher owner=clippy::"
echo "::remove-matcher owner=rustfmt::"
- name: Check formatting
run: cargo fmt --all --verbose -- --check
@ -64,6 +70,9 @@ jobs: @@ -64,6 +70,9 @@ jobs:
with:
toolchain: ${{ matrix.toolchain }}
- name: Hide duplicated warnings from lint job
run: echo "::remove-matcher owner=clippy::"
- name: Build doc tests
run: cargo 3ds test --doc --verbose

Loading…
Cancel
Save