From cce2ca06e29de8deb58559f5e073b1fd5d6d5791 Mon Sep 17 00:00:00 2001
From: Martin von Zweigbergk <martinvonz@google.com>
Date: Tue, 3 May 2022 14:08:55 -0700
Subject: [PATCH] github: stop running nightly clippy

It seems fine to wait for the clippy lints to graduate before we run
them if we can save a bit of GitHub resources.
---
 .github/workflows/build.yml | 22 ++--------------------
 1 file changed, 2 insertions(+), 20 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 955b364de..4ab2d754a 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -66,8 +66,8 @@ jobs:
           command: fmt
           args: --all -- --check
 
-  clippy-stable:
-    name: Clippy check (stable)
+  clippy-check:
+    name: Clippy check
     permissions:
       checks: write
     runs-on: ubuntu-latest
@@ -83,21 +83,3 @@ jobs:
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
           args: --all-features --workspace
-
-  clippy-nightly:
-    name: Clippy check (nightly)
-    permissions:
-      checks: write
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
-      - uses: actions-rs/toolchain@16499b5e05bf2e26879000db0c1d13f7e13fa3af
-        with:
-          toolchain: nightly
-          profile: minimal
-          components: clippy
-          override: true
-      - uses: actions-rs/clippy-check@b5b5f21f4797c02da247df37026fcd0a5024aa4d
-        with:
-          token: ${{ secrets.GITHUB_TOKEN }}
-          args: --all-features --workspace