From a1cd3ab6fad2c8bac6de971cf75ce90ec69b2335 Mon Sep 17 00:00:00 2001 From: weishu Date: Fri, 14 Apr 2023 22:42:25 +0800 Subject: [PATCH] ci: update clippy check (#389) --- .github/workflows/clippy-pr.yml | 22 ---------------------- .github/workflows/clippy.yml | 11 ++++------- 2 files changed, 4 insertions(+), 29 deletions(-) delete mode 100644 .github/workflows/clippy-pr.yml diff --git a/.github/workflows/clippy-pr.yml b/.github/workflows/clippy-pr.yml deleted file mode 100644 index 78ad721e..00000000 --- a/.github/workflows/clippy-pr.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: Clippy check for pull request - -on: - pull_request: - branches: - - 'main' - paths: - - '.github/workflows/clippy-pr.yml' - - 'userspace/ksud/**' - -permissions: - checks: write - -jobs: - clippy: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - - uses: giraffate/clippy-action@v1 - with: - workdir: userspace/ksud diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml index 2ec3b14e..aa731a57 100644 --- a/.github/workflows/clippy.yml +++ b/.github/workflows/clippy.yml @@ -1,12 +1,9 @@ name: Clippy check -on: - push: - branches: - - 'main' - paths: - - '.github/workflows/clippy.yml' - - 'userspace/ksud/**' +on: [push, pull_request] + paths: + - '.github/workflows/clippy.yml' + - 'userspace/ksud/**' env: RUSTFLAGS: '-Dwarnings'