upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-04-13 16:43:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use a file for the comment body

Browse Source 
Also fix the path to the old map file for dimension calculation.
This commit is contained in:
Gunter Labes 2025-03-10 02:40:34 +01:00
parent 2b5d8b96bb
commit 62b4758bca
No known key found for this signature in database
GPG Key ID: C0C7B971CC910216
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/map-diff.yml vendored
View File

@ -44,7 +44,7 @@ jobs:
log "Check out $map_path from $SHA..."
new_map=${map_path##*/}
git show "$SHA":"$map_path" > "$new_map"
old_dim=$(dim "$map_path")
old_dim=$(dim "../../$map_path")
new_dim=$(dim "$new_map")
log "Generate map diff image for $map_path..."
@ -69,17 +69,17 @@ jobs:
done
[[ $comment_body ]] || err Failed to generate comment
printf 'COMMENT_BODY=%s\n' "$comment_body" >> "$GITHUB_OUTPUT"
printf '%s\n' "$comment_body" > body.html
- name: Find comment
uses: peter-evans/find-comment@v2
uses: peter-evans/find-comment@v3
id: fc
with:
issue-number: ${{ github.event.pull_request.number }}
comment-author: 'github-actions[bot]'
- name: Add comment
uses: peter-evans/create-or-update-comment@v3
uses: peter-evans/create-or-update-comment@v4
with:
issue-number: ${{ github.event.pull_request.number }}
comment-id: ${{ steps.fc.outputs.comment-id }}
edit-mode: replace
body: ${{ steps.get-maps-diff.outputs.COMMENT_BODY }}
body-path: utils/wesnoth-map-diff/body.html