From 2b2fdb4842a0838eae7337683521b82ddbea3e48 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 | 8 +++++--- .github/workflows/labeled.yml | 15 +++++++++++++++ 2 files changed, 20 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..b4e3b9f4 100644 --- a/.github/workflows/coverity-scan.yml +++ b/.github/workflows/coverity-scan.yml @@ -2,15 +2,17 @@ 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