diff options
| author | Paul Spooren <mail@aparcar.org> | 2022-12-01 21:02:10 +0100 |
|---|---|---|
| committer | Nick Hainke <vincent@systemli.org> | 2023-06-26 11:29:59 +0200 |
| commit | b3b01af314ec675b0b2ee0497a7b9c90d2e9e631 (patch) | |
| tree | a307a76c0e152c7f442fc66e0859104aaf149193 | |
| parent | c993ee8a893c04baef602574ca9353ce4c72e11e (diff) | |
ci: only comment AUTORELEASE deprecation if exists
If it doesn't exists, don't confuse the contributors.
Signed-off-by: Paul Spooren <mail@aparcar.org>
| -rw-r--r-- | .github/workflows/check-autorelease-deprecation.yml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/.github/workflows/check-autorelease-deprecation.yml b/.github/workflows/check-autorelease-deprecation.yml index c19911b..b85b324 100644 --- a/.github/workflows/check-autorelease-deprecation.yml +++ b/.github/workflows/check-autorelease-deprecation.yml @@ -28,6 +28,8 @@ jobs: - name: Determine changed packages run: | + RET=0 + # only detect packages with changes PKG_ROOTS=$(find . -name Makefile | \ grep -v ".*/src/Makefile" | \ @@ -46,14 +48,13 @@ jobs: done if [ -n "$CONTAINS_AUTORELEASE" ]; then + RET=1 cat > "$GITHUB_WORKSPACE/pr_comment.md" << EOF Please do no longer set *PKG_RELEASE* to *AUTORELEASE* as the feature is deprecated. Please use an integer instead. Below is a list of affected packages including correct *PKG_RELEASE*: EOF - else - echo "No usage of *AUTORELEASE* found in changes" > "$GITHUB_WORKSPACE/pr_comment.md" fi for ROOT in $CONTAINS_AUTORELEASE; do @@ -70,8 +71,11 @@ jobs: echo >> "$GITHUB_WORKSPACE/pr_comment.md" done + exit $RET + - name: Find Comment uses: peter-evans/find-comment@v2 + if: ${{ failure() }} id: fc with: issue-number: ${{ github.event.pull_request.number }} @@ -79,6 +83,7 @@ jobs: - name: Create or update comment uses: peter-evans/create-or-update-comment@v2 + if: ${{ failure() }} with: comment-id: ${{ steps.fc.outputs.comment-id }} issue-number: ${{ github.event.pull_request.number }} |