Skip to content

Try to run Coverity Scan on demand #2

Try to run Coverity Scan on demand

Try to run Coverity Scan on demand #2

Workflow file for this run

---
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