From 8dc2832d52ef4f1f9cf4fd3692f49b1e462b0729 Mon Sep 17 00:00:00 2001 From: Simo Sorce Date: Mon, 25 Mar 2024 12:29:31 -0400 Subject: [PATCH] fixup! Try to run Coverity Scan on demand --- .github/workflows/coverity-scan.yml | 7 ++++--- .github/workflows/labeled.yml | 15 +++++++++++++++ 2 files changed, 19 insertions(+), 3 deletions(-) create mode 100644 .github/workflows/labeled.yml diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml index 96c23e5d..ef7080ee 100644 --- a/.github/workflows/coverity-scan.yml +++ b/.github/workflows/coverity-scan.yml @@ -2,15 +2,16 @@ name: Coverity Scan on: - pull_request_target: + workflow_run: + workflows: [Labeled] types: - - labeled + - completed schedule: - cron: '41 3 * * 0' jobs: coverity: - if: github.event.label.name == 'covscan' + if: ${{ contains(github.event.*.labels.*.name, 'covscan') || github.event_name == 'schedule' }} name: Coverity Scan runs-on: ubuntu-22.04 container: fedora:latest diff --git a/.github/workflows/labeled.yml b/.github/workflows/labeled.yml new file mode 100644 index 00000000..07fb75e1 --- /dev/null +++ b/.github/workflows/labeled.yml @@ -0,0 +1,15 @@ +--- +name: Labeled + +on: + pull_request: + types: + - labeled + +jobs: + labeled: + if: ${{ github.event.label.name == 'covscan' }} + name: Label checks + runs-on: ubuntu-latest + steps: + - run: env