File tree Expand file tree Collapse file tree 3 files changed +32
-7
lines changed Expand file tree Collapse file tree 3 files changed +32
-7
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
+ Link-Format-Checks :
6
+ runs-on : ubuntu-latest
7
+ steps :
8
+ - uses : actions/checkout@v3
9
+ - run : scripts/link-format-chk.sh
10
+ Build-Table-Checks :
11
+ runs-on : ubuntu-latest
12
+ steps :
13
+ - uses : actions/checkout@v3
14
+ - run : scripts/buildtable.pl >/tmp/table.mediawiki || exit 1
15
+ Diff-Checks :
16
+ runs-on : ubuntu-latest
17
+ steps :
18
+ - uses : actions/checkout@v3
19
+ - 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
You can’t perform that action at this time.
0 commit comments