Change Clippy CI to only run on main pushes or PRs

This commit is contained in:
Flori Weber 2023-06-19 16:30:46 +02:00
parent 4fd3e3464a
commit b837508f41
No known key found for this signature in database
GPG Key ID: 0ACD574FCF5226CF
1 changed files with 7 additions and 1 deletions

View File

@ -1,6 +1,12 @@
on: push
name: Clippy check
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
# Make sure CI fails on all warnings, including Clippy lints
env:
RUSTFLAGS: "-Dwarnings"