ci: Always run PR comments job
This commit is contained in:
parent
5f78d175c9
commit
78d086369b
1 changed files with 2 additions and 1 deletions
3
.github/workflows/ci.yml
vendored
3
.github/workflows/ci.yml
vendored
|
|
@ -29,10 +29,10 @@ env:
|
||||||
PACKAGE_PATH: ./dist
|
PACKAGE_PATH: ./dist
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
# Always run this job, even if not on PR, since other jobs need it.
|
||||||
pr-comment-flags:
|
pr-comment-flags:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
needs: lint-clang
|
needs: lint-clang
|
||||||
if: ${{ github.event_name == 'pull_request' }}
|
|
||||||
|
|
||||||
outputs:
|
outputs:
|
||||||
no-sonar: ${{ steps.check.outputs.no-sonar }}
|
no-sonar: ${{ steps.check.outputs.no-sonar }}
|
||||||
|
|
@ -42,6 +42,7 @@ jobs:
|
||||||
uses: actions/checkout@v4
|
uses: actions/checkout@v4
|
||||||
|
|
||||||
- name: Check PR comment for flags
|
- name: Check PR comment for flags
|
||||||
|
if: ${{ github.event_name == 'pull_request' }}
|
||||||
id: check
|
id: check
|
||||||
env:
|
env:
|
||||||
PR_BODY: ${{ github.event.pull_request.body }}
|
PR_BODY: ${{ github.event.pull_request.body }}
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue