From 6274dbebc039a4e5040821ba7e82c0c3be9f9722 Mon Sep 17 00:00:00 2001 From: weishu Date: Fri, 14 Apr 2023 22:55:43 +0800 Subject: [PATCH] Ci (#390) --- .github/workflows/clippy.yml | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml index aa731a57..8565fe4e 100644 --- a/.github/workflows/clippy.yml +++ b/.github/workflows/clippy.yml @@ -1,9 +1,18 @@ name: Clippy check -on: [push, pull_request] - paths: - - '.github/workflows/clippy.yml' - - 'userspace/ksud/**' +on: + push: + branches: + - main + paths: + - '.github/workflows/clippy.yml' + - 'userspace/ksud/**' + pull_request: + branches: + - main + paths: + - '.github/workflows/clippy.yml' + - 'userspace/ksud/**' env: RUSTFLAGS: '-Dwarnings'