diff options
| author | Egor Tensin <egor@tensin.name> | 2026-08-06 08:10:51 +0200 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-08-06 08:19:38 +0200 |
| commit | c0c08a0c7bc6bcaaae0e2fcaa2f74759ce85c9a2 (patch) | |
| tree | f1c82316e3589fd1f2b3076d6a334ecf2c75257d | |
| parent | add Makefile with shortcuts for maintenance (diff) | |
| download | cleanup-path-c0c08a0c7bc6bcaaae0e2fcaa2f74759ce85c9a2.tar.gz cleanup-path-c0c08a0c7bc6bcaaae0e2fcaa2f74759ce85c9a2.zip | |
workflows: add maintenance workflowwip
| -rw-r--r-- | .github/workflows/maintenance.yml | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/.github/workflows/maintenance.yml b/.github/workflows/maintenance.yml new file mode 100644 index 0000000..edc7f91 --- /dev/null +++ b/.github/workflows/maintenance.yml @@ -0,0 +1,31 @@ +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: 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 |