From 130e348b0fef1c291087f8820a754b58359f282e Mon Sep 17 00:00:00 2001
From: teor <teor@riseup.net>
Date: Tue, 15 Jun 2021 08:24:53 +1000
Subject: [PATCH] Use a different name for clippy job and results

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0810ea9cd..c61baece4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -161,6 +161,8 @@ jobs:
       - name: Run clippy
         uses: actions-rs/clippy-check@v1.0.7
         with:
+          # GitHub displays the clippy job and its results as separate entries
+          name: ${{ jobs.clippy.name }} Results
           token: ${{ secrets.GITHUB_TOKEN }}
           args: --all-features --all-targets -- -D warnings