summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorpierreozoux <pierre@ozoux.net>2020-08-25 17:33:10 +0200
committerPierre Ozoux <pierre@ozoux.net>2020-08-28 15:18:27 +0200
commit1eb77283c1f005b5eac08c293774d2055a77cc65 (patch)
tree2b696836e174551887f8b41501fcb625b76196ea
parent83b38c57a6c1b185744b9bb14794b57a7fbb148e (diff)
Run update.sh on PR and on cron.
Signed-off-by: pierreozoux <pierre@ozoux.net>
-rw-r--r--.github/workflows/update-sh.yml36
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