diff options
author | pierreozoux <pierre@ozoux.net> | 2020-08-25 17:33:10 +0200 |
---|---|---|
committer | Pierre Ozoux <pierre@ozoux.net> | 2020-08-28 15:18:27 +0200 |
commit | 1eb77283c1f005b5eac08c293774d2055a77cc65 (patch) | |
tree | 2b696836e174551887f8b41501fcb625b76196ea | |
parent | 83b38c57a6c1b185744b9bb14794b57a7fbb148e (diff) |
Run update.sh on PR and on cron.
Signed-off-by: pierreozoux <pierre@ozoux.net>
-rw-r--r-- | .github/workflows/update-sh.yml | 36 |
1 files changed, 21 insertions, 15 deletions
diff --git a/.github/workflows/update-sh.yml b/.github/workflows/update-sh.yml index 3f5fb09d..24551a23 100644 --- a/.github/workflows/update-sh.yml +++ b/.github/workflows/update-sh.yml @@ -1,22 +1,28 @@ name: update.sh on: - pull_request: - -defaults: - run: - shell: 'bash -Eeuo pipefail -x {0}' + push: + branches: + - master + schedule: + - cron: '15 0 * * *' jobs: - - check-changes: - name: Check for Changes + run_update_sh: + name: Run update.sh script 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)" ]] + - uses: actions/checkout@v2 + - name: Run update.sh script + run: ./update.sh + - name: Commit files + run: | + git config --local user.email "workflow@github.com" + git config --local user.name "GitHub Workflow" + git add ./* + git commit -m "Runs update.sh" + - name: Push changes + uses: ad-m/github-push-action@master + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + force: true |