From 2a928e05b34fc3c956dcffb66efaf8b18a545c11 Mon Sep 17 00:00:00 2001 From: dbr Date: Sat, 5 Jun 2021 12:24:57 +1000 Subject: [PATCH] Check to see if the two clippy's can be merged into one --- .github/workflows/checks.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index 92d1fc5e1..2e2516794 100644 --- a/.github/workflows/checks.yml +++ b/.github/workflows/checks.yml @@ -10,7 +10,7 @@ on: jobs: clippy: runs-on: ubuntu-latest - name: "Clippy" + name: "clippy" steps: - uses: actions/checkout@v1