File tree Expand file tree Collapse file tree 4 files changed +26
-8
lines changed Expand file tree Collapse file tree 4 files changed +26
-8
lines changed Original file line number Diff line number Diff line change 1+ name : GitHub Actions Check
2+ run-name : ${{ github.actor }} Checks 🚀
3+ on : [push, pull_request]
4+ jobs :
5+ All-Checks :
6+ runs-on : ubuntu-latest
7+ steps :
8+ - uses : actions/checkout@v3
9+ - run : scripts/link-format-chk.sh
10+ - run : scripts/buildtable.pl >/tmp/table.mediawiki || exit 1
11+ - run : scripts/diffcheck.sh
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1+ #! /bin/bash
2+
3+ diff README.mediawiki /tmp/table.mediawiki | grep ' ^[<>] |' > /tmp/after.diff || true
4+ if git checkout HEAD^ && scripts/buildtable.pl > /tmp/table.mediawiki 2> /dev/null; then
5+ diff README.mediawiki /tmp/table.mediawiki | grep ' ^[<>] |' > /tmp/before.diff || true
6+ newdiff=$( diff -s /tmp/before.diff /tmp/after.diff -u | grep ' ^+' )
7+ if [ -n " $newdiff " ]; then
8+ echo " $newdiff "
9+ exit 1
10+ fi
11+ else
12+ echo ' Cannot build previous commit table for comparison'
13+ fi
Original file line number Diff line number Diff line change 88
99ECODE=0
1010FILES=" "
11- for fname in $( git diff --name-only HEAD $( git merge-base HEAD master) ) ; do
11+ git fetch origin master
12+ for fname in $( git diff --name-only HEAD $( git merge-base HEAD origin/master) ) ; do
1213 if [[ $fname == * .mediawiki ]]; then
1314 GRES=$( grep -n ' ](http' $fname )
1415 if [ " $GRES " != " " ]; then
You can’t perform that action at this time.
0 commit comments