replace travis with Github Actions (#1432)

replace travis with Github Actions
This commit is contained in:
kallewoof authored and GitHub committed 2023-03-09 11:57:21 +09:00
1 parent 4e4db8ba12
commit ebea569f19
3 files changed
+32 -7

No files matched your search

+13
View File
@@ -0,0 +1,13 @@
#!/bin/bash
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/after.diff || true
if git checkout HEAD^ && scripts/buildtable.pl >/tmp/table.mediawiki 2>/dev/null; then
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/before.diff || true
newdiff=$(diff -s /tmp/before.diff /tmp/after.diff -u | grep '^+')
if [ -n "$newdiff" ]; then
echo "$newdiff"
exit 1
fi
else
echo 'Cannot build previous commit table for comparison'
fi