Fix naming of beta lints.

2022-02-23 21:33:10 -07:00 · 2022-02-23 21:33:10 -07:00 · 7dc9f91468
parent 61a06de241
commit 7dc9f91468
1 changed files with 4 additions and 5 deletions
--- a/.github/workflows/lints-nightly.yml
+++ b/.github/workflows/lints-nightly.yml
@ -1,11 +1,10 @@
-name: Nightly lints
+name: Beta lints

-# These lints are only informative, so we only run them directly on branches
-# and not trial-merges of PRs, to reduce noise.
-on: push
+# We only run these lints on trial-merges of PRs to reduce noise.
+on: pull_request

 jobs:
-  clippy-nightly:
+  clippy-beta:
    name: Clippy (beta)
    timeout-minutes: 30
    runs-on: ubuntu-latest