blob: d87a2765abe0fff46a2d4e34c95b9fa2e4b55ad2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
name: Maintenance
on:
schedule:
# Weekly, at 02:30 UTC on Friday (somewhat randomly chosen).
- cron: '30 02 * * 5'
workflow_dispatch:
jobs:
maintenance:
runs-on: ubuntu-latest
name: Maintenance
steps:
- name: Checkout
uses: actions/checkout@v7
with:
# I think that by default, pushes don't trigger other workflows, and
# you need a separate token for that:
# https://docs.github.com/en/actions/how-tos/write-workflows/choose-when-workflows-run/trigger-a-workflow#triggering-a-workflow-from-a-workflow
token: '${{ secrets.GH_TOKEN }}'
- name: Set up ssh-agent
uses: webfactory/ssh-agent@v0.10.0
with:
ssh-private-key: '${{ secrets.SSH_KEY }}'
- name: Set up Python
uses: actions/setup-python@v6
with:
python-version-file: .python-version
- name: Configure git
run: |
# See https://github.com/actions/checkout#push-a-commit-using-the-built-in-token
git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
- name: Run maintenance
run: make maintenance
|
