improve guidance to avoid musl based images (#133) #22
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: PR Merge Changelog | |
| on: | |
| push: | |
| branches: | |
| - main | |
| paths-ignore: | |
| - CHANGELOG.md | |
| permissions: | |
| contents: write | |
| jobs: | |
| update: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out main | |
| uses: actions/checkout@v4 | |
| - name: Find merged PR | |
| id: pr | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| COMMIT_SHA: ${{ github.sha }} | |
| REPO: ${{ github.repository }} | |
| run: | | |
| python3 .ci-scripts/find_merged_pr.py lookup \ | |
| --sha "$COMMIT_SHA" --repo "$REPO" | |
| - name: Set up Python | |
| if: steps.pr.outputs.has_changelog != '' | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.x" | |
| - name: Add changelog entry | |
| if: steps.pr.outputs.has_changelog != '' | |
| env: | |
| ENTRY: ${{ steps.pr.outputs.entry }} | |
| BREAKING: ${{ steps.pr.outputs.breaking }} | |
| run: | | |
| if [ -n "$BREAKING" ]; then | |
| python3 .ci-scripts/changelog.py add-entry --breaking "$ENTRY" | |
| else | |
| python3 .ci-scripts/changelog.py add-entry "$ENTRY" | |
| fi | |
| - name: Update skill versions | |
| if: steps.pr.outputs.has_changelog != '' | |
| env: | |
| COMMIT_SHA: ${{ github.sha }} | |
| run: | | |
| python3 .ci-scripts/update_skill_versions.py update --sha "${COMMIT_SHA:0:7}" | |
| - name: Configure git | |
| if: steps.pr.outputs.has_changelog != '' | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| - name: Commit changelog | |
| if: steps.pr.outputs.has_changelog != '' | |
| env: | |
| NUMBER: ${{ steps.pr.outputs.number }} | |
| run: | | |
| git add CHANGELOG.md | |
| if git diff --cached --quiet; then | |
| echo "No changelog changes to commit" | |
| exit 0 | |
| fi | |
| git commit -m "Update changelog for PR #${NUMBER}" | |
| - name: Commit skill versions | |
| if: steps.pr.outputs.has_changelog != '' | |
| env: | |
| NUMBER: ${{ steps.pr.outputs.number }} | |
| run: | | |
| git add */SKILL.md | |
| if git diff --cached --quiet; then | |
| echo "No skill version changes to commit" | |
| exit 0 | |
| fi | |
| git commit -m "Update skill versions for PR #${NUMBER}" | |
| - name: Push | |
| if: steps.pr.outputs.has_changelog != '' | |
| run: | | |
| git pull --rebase origin main | |
| git push origin main |