[github] fix conditions

This commit is contained in:
Denis Rouzaud 2020-01-15 14:20:03 +01:00 committed by GitHub
parent ee0449e48d
commit 2f7eaf7aed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,7 +24,7 @@ jobs:
# transform the milestone (e.g. 3.10.4) to a doc label (3.10)
- name: QGIS milestone to Doc label
if: cancelled() == false
if: github.event.pull_request.merged && contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
id: milestone2label
env:
MILESTONE: ${{ github.event.pull_request.milestone.title }}
@ -36,7 +36,7 @@ jobs:
# get the PR body
- name: Get PR body as JSON
if: cancelled() == false
if: github.event.pull_request.merged && contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
id: get_pr_info
uses: octokit/request-action@v2.x
env:
@ -47,7 +47,7 @@ jobs:
# extract body from json output
- name: Get PR body as text
if: cancelled() == false
if: github.event.pull_request.merged && contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
id: get_pr_body
uses: gr2m/get-json-paths-action@v1.x
with:
@ -56,7 +56,7 @@ jobs:
# get commits from the PR
- name: Get PR commits
if: cancelled() == false
if: github.event.pull_request.merged && contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
uses: octokit/request-action@v2.x
id: get_pr_commits
env:
@ -67,7 +67,7 @@ jobs:
# extracts the matching commits
- name: Filter commits with \[needs?.doc(umentation)?s?\]
if: cancelled() == false
if: github.event.pull_request.merged && contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
id: filtered_commits
env:
JSON_DATA: ${{ steps.get_pr_commits.outputs.data }}
@ -77,7 +77,7 @@ jobs:
# create the documentation issue
- name: Create Documentation issue
if: cancelled() == false
if: github.event.pull_request.merged && contains( github.event.pull_request.labels.*.name, 'Needs Documentation')
id: doc_issue
uses: maxkomarychev/oction-create-issue@v0.7.1
with: