chore(ci): set update to run every 10 min (#802)

Signed-off-by: madomado <madonuko@outlook.com>
This commit is contained in:
madomado
2023-11-14 05:41:06 +08:00
committed by GitHub
parent 87eeeb19f3
commit 22943e4d98
+13 -11
View File
@@ -1,14 +1,14 @@
name: Update
on:
schedule:
- cron: "*/30 * * * *"
- cron: "*/10 * * * *"
workflow_dispatch:
jobs:
autoupdate:
runs-on: ubuntu-latest
container:
image: ghcr.io/terrapkg/builder:f38
image: ghcr.io/terrapkg/builder:f39
options: --cap-add=SYS_ADMIN --privileged
steps:
- name: Checkout
@@ -26,7 +26,7 @@ jobs:
- name: Run Update
run: anda update -vv
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.AUTOUPDATE_GH_TOKEN }}
RUST_BACKTRACE: full
- name: Save
@@ -39,13 +39,15 @@ jobs:
git config user.signingkey "${{ runner.temp }}/signing_key"
msg="bump: $(git status | grep modified | sed -r 's@.+/([^/]+)/[^/]+\n?@\1 @g' | tr -d '\n')"
git commit -S -a -m "$msg"
# f37 () {
# git format-patch HEAD^
# git checkout f37
# git apply *.patch || true
# git add *
# git commit -S -a -m "$msg"
# }
# f37 || true
copy_over () {
git format-patch HEAD^
git checkout $1
git apply *.patch || true
rm *.patch
git add *
git commit -S -a -m "$msg"
}
copy_over f37 || true
copy_over f38 || true
git push -u origin --all
fi