diff options
| author | kallewoof <kalle.alm@gmail.com> | 2023-03-09 11:57:21 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-09 11:57:21 +0900 |
| commit | ebea569f193577af8be51a48f0838fab38add0a9 (patch) | |
| tree | 00765ce15cc5bba8d17d007306d81decc0d88523 | |
| parent | 4e4db8ba123aa8e9cba8cc4d2f700b9724cb8963 (diff) | |
| download | bips-ebea569f193577af8be51a48f0838fab38add0a9.tar.xz | |
replace travis with Github Actions (#1432)
replace travis with Github Actions
| -rw-r--r-- | .github/workflows/github-action-checks.yml | 19 | ||||
| -rw-r--r-- | .travis.yml | 7 | ||||
| -rwxr-xr-x | scripts/diffcheck.sh | 13 |
3 files changed, 32 insertions, 7 deletions
diff --git a/.github/workflows/github-action-checks.yml b/.github/workflows/github-action-checks.yml new file mode 100644 index 0000000..bfc014b --- /dev/null +++ b/.github/workflows/github-action-checks.yml @@ -0,0 +1,19 @@ +name: GitHub Actions Check +run-name: ${{ github.actor }} Checks 🚀 +on: [push, pull_request] +jobs: + Link-Format-Checks: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: scripts/link-format-chk.sh + Build-Table-Checks: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: scripts/buildtable.pl >/tmp/table.mediawiki || exit 1 + Diff-Checks: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: scripts/diffcheck.sh diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 70d339a..0000000 --- a/.travis.yml +++ /dev/null @@ -1,7 +0,0 @@ -os: linux -language: generic -script: - - scripts/link-format-chk.sh - - scripts/buildtable.pl >/tmp/table.mediawiki || exit 1 - - 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 diff --git a/scripts/diffcheck.sh b/scripts/diffcheck.sh new file mode 100755 index 0000000..4e4c459 --- /dev/null +++ b/scripts/diffcheck.sh @@ -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 |