From c40cf5a94e13f202188a5cd708dc201194aa342f Mon Sep 17 00:00:00 2001
From: Ian Chamberlain <ian.h.chamberlain@gmail.com>
Date: Mon, 3 Apr 2023 14:14:56 -0400
Subject: [PATCH] Deduplicate warnings from lint vs build jobs

---
 .github/workflows/ci.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8ff1525..20a22ed 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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:
         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