diff --git a/.github/workflows/update-sh.yml b/.github/workflows/update-sh.yml new file mode 100644 index 00000000..3f5fb09d --- /dev/null +++ b/.github/workflows/update-sh.yml @@ -0,0 +1,22 @@ +name: update.sh + +on: + pull_request: + +defaults: + run: + shell: 'bash -Eeuo pipefail -x {0}' + +jobs: + + check-changes: + name: Check for Changes + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Check for Changes + run: | + hash_before="$(git write-tree)" + ./update.sh + git add -A + [[ "$hash_before" = "$(git write-tree)" ]]