Update branch filter for push event

2023-11-22 16:43:48 +01:00 · 2023-11-22 16:43:48 +01:00 · 84f8fc0fa4
parent f973c55952
commit 84f8fc0fa4
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/rust-clippy.yml
+++ b/.github/workflows/rust-clippy.yml
@ -11,7 +11,7 @@ name: rust-clippy analyze

 on:
  push:
-    branches: [ "main", "preserve/*", "dev" ]
+    branches: [ "main", "preserve/*" ]
  pull_request:
    # The branches below must be a subset of the branches above
    branches: [ "main", "dev" ]