Skip to content

Commit a906ce5

Browse files
authored
ci: allow creating PRs for OS libraries changes (#51)
Signed-off-by: Niccolò Fei <niccolo.fei@enterprisedb.com>
1 parent 0bf7c47 commit a906ce5

File tree

1 file changed

+2
-13
lines changed

1 file changed

+2
-13
lines changed

.github/workflows/update_os_libraries.yml

Lines changed: 2 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -76,27 +76,16 @@ jobs:
7676
git status
7777
git diff
7878
79-
- name: Check for changes
80-
id: check-changes
81-
run: |
82-
if git diff --quiet; then
83-
echo "No changes detected for ${{ matrix.extension }}"
84-
echo "changed=false" >> $GITHUB_OUTPUT
85-
else
86-
echo "Changes detected for ${{ matrix.extension }}"
87-
echo "changed=true" >> $GITHUB_OUTPUT
88-
fi
89-
9079
- name: Create a PR if versions have been updated on main
9180
uses: peter-evans/create-pull-request@98357b18bf14b5342f975ff684046ec3b2a07725 # v8
92-
if: github.ref == 'refs/heads/main' && steps.check-changes.outputs.changed == 'true'
81+
if: github.ref == 'refs/heads/main'
9382
with:
9483
token: ${{ secrets.REPO_GHA_PAT }}
9584
title: "chore: update ${{ matrix.extension }} OS libraries"
9685
body: "Updating the OS libraries of ${{ matrix.extension }}"
9786
branch: "${{ matrix.extension }}-os-libraries"
9887
author: "extension-os-libs-updater <extension-os-libs-updater@users.noreply.github.com>"
9988
add-paths: |
100-
${{ matrix.extension }}/**
89+
${{ matrix.extension }}/system-libs/**
10190
commit-message: "chore: update ${{ matrix.extension }} OS libraries"
10291
signoff: true

0 commit comments

Comments
 (0)