e73cd7dec3
progress.py stores the names of implemented and pending items, can measure another source tree with --root and prints a Markdown diff of two runs with --compare. The Progress report workflow compares every pull request with its base, and Progress comment posts the result as a single comment, updated on every push and removed when progress no longer changes. Commenting runs as a separate workflow_run so pull requests from forks never run with write permissions. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
34 lines
1.1 KiB
YAML
34 lines
1.1 KiB
YAML
name: Progress report
|
|
|
|
on:
|
|
pull_request:
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
report:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v7
|
|
with:
|
|
fetch-depth: 2
|
|
- env:
|
|
PR: ${{ github.event.pull_request.number }}
|
|
HEAD_SHA: ${{ github.event.pull_request.head.sha }}
|
|
run: |
|
|
out=$RUNNER_TEMP/out report=$RUNNER_TEMP/report
|
|
git worktree add --detach "$RUNNER_TEMP/base" HEAD^1
|
|
python3 tools/progress.py --root "$RUNNER_TEMP/base" "$out/base"
|
|
python3 tools/progress.py "$out/head"
|
|
mkdir "$report"
|
|
echo "$PR" > "$report/pr"
|
|
body=$(python3 tools/progress.py --compare "$out/base/progress.json" "$out/head/progress.json")
|
|
if [ -n "$body" ]; then
|
|
printf '### Progress report (%s → %s)\n\n%s\n' "$(git rev-parse --short HEAD^1)" "${HEAD_SHA::7}" "$body" > "$report/report.md"
|
|
cat "$report/report.md" >> "$GITHUB_STEP_SUMMARY"
|
|
fi
|
|
- uses: actions/upload-artifact@v7
|
|
with:
|
|
name: progress-report
|
|
path: ${{ runner.temp }}/report
|