114 lines
3.8 KiB
YAML
114 lines
3.8 KiB
YAML
name: Publish draft release
|
|
|
|
on:
|
|
workflow_dispatch: # Manual trigger; can be automated later
|
|
|
|
permissions:
|
|
contents: write
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
publish:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout repo
|
|
uses: actions/checkout@v4
|
|
|
|
|
|
- name: Get latest draft release
|
|
id: draft
|
|
run: |
|
|
draft_info=$(gh release list --limit 5 --json tagName,isDraft --jq '.[] | select(.isDraft==true) | .tagName' | head -n1)
|
|
echo "tag_name=${draft_info}" >> $GITHUB_OUTPUT
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
- name: Validate draft version
|
|
run: |
|
|
if [ -z "${{ steps.draft.outputs.tag_name }}" ]; then
|
|
echo "No draft release found!" >&2
|
|
exit 1
|
|
fi
|
|
echo "Found draft version: ${{ steps.draft.outputs.tag_name }}"
|
|
|
|
|
|
- name: Create branch and commit VERSION
|
|
run: |
|
|
branch="update-version-${{ steps.draft.outputs.tag_name }}"
|
|
# Delete remote branch if exists
|
|
git push origin --delete "$branch" || echo "No remote branch to delete"
|
|
git fetch origin main
|
|
git checkout -b "$branch" origin/main
|
|
# Write VERSION file and timestamp to ensure a diff
|
|
version="${{ steps.draft.outputs.tag_name }}"
|
|
echo "$version" | sed 's/^v//' > VERSION
|
|
echo "# generated at $(date +%s)" >> VERSION
|
|
git add VERSION
|
|
git config user.name "github-actions[bot]"
|
|
git config user.email "github-actions[bot]@users.noreply.github.com"
|
|
git commit -m "chore: add VERSION $version" --allow-empty
|
|
git push --set-upstream origin "$branch"
|
|
|
|
|
|
- name: Create PR with GitHub CLI
|
|
id: pr
|
|
run: |
|
|
pr_url=$(gh pr create \
|
|
--base main \
|
|
--head update-version-${{ steps.draft.outputs.tag_name }} \
|
|
--title "chore: add VERSION ${{ steps.draft.outputs.tag_name }}" \
|
|
--body "Adds VERSION file for release ${{ steps.draft.outputs.tag_name }}" \
|
|
--label automated)
|
|
|
|
pr_number=$(echo "$pr_url" | awk -F/ '{print $NF}')
|
|
echo $pr_number
|
|
echo "pr_number=$pr_number" >> $GITHUB_OUTPUT
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
|
- name: Authenticate gh with PAT
|
|
run: |
|
|
echo "${{ secrets.PAT_MICHEL }}" | gh auth login --with-token
|
|
|
|
|
|
- name: Merge PR as PAT user
|
|
run: |
|
|
gh pr merge "${{ steps.pr.outputs.pr_number }}" --squash --body "Merge VERSION update" --admin
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
|
- name: Wait for PR merge
|
|
uses: actions/github-script@v7
|
|
with:
|
|
script: |
|
|
const prNum = parseInt("${{ steps.pr.outputs.pr_number }}")
|
|
let merged = false
|
|
const maxRetries = 20
|
|
let tries = 0
|
|
while(!merged && tries < maxRetries){
|
|
const pr = await github.rest.pulls.get({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
pull_number: prNum
|
|
})
|
|
merged = pr.data.merged
|
|
if(!merged){
|
|
tries++
|
|
console.log("Waiting for PR to merge...")
|
|
await new Promise(r => setTimeout(r, 5000))
|
|
}
|
|
}
|
|
if(!merged) throw new Error("PR not merged in time")
|
|
|
|
# - name: Create tag
|
|
# run: |
|
|
# git tag "${{ steps.draft.outputs.tag_name }}"
|
|
# git push origin "${{ steps.draft.outputs.tag_name }}"
|
|
#
|
|
# - name: Publish draft release
|
|
# run: gh release edit "${{ steps.draft.outputs.tag_name }}" --draft=false
|
|
# env:
|
|
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|