0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

map-diff: fix get map

Browse source
This commit is contained in:
macabeus 2022-05-16 00:39:26 +01:00 • committed by Pentarctagon
parent 92ff6c52b2
commit c90f5d5bda
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/map-diff.yml vendored
View file

@ -30,8 +30,8 @@ jobs:
cd ./utils/wesnoth-map-diff
## Get maps changed
git fetch --depth=1 origin ${{ github.event.pull_request.base.sha }}
mapfile -t map_paths < <(git diff --name-only HEAD ${{ github.event.pull_request.base.sha }} | grep '\.map$')
git fetch --depth=1 origin ${{ github.event.pull_request.head.sha }}
mapfile -t map_paths < <(git diff --name-only HEAD ${{ github.event.pull_request.head.sha }} | grep '\.map$')
for map_path in "${map_paths[@]}"
do