diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/maintenance.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/maintenance.yml b/.github/workflows/maintenance.yml index a88b663..0ef8cf9 100644 --- a/.github/workflows/maintenance.yml +++ b/.github/workflows/maintenance.yml @@ -2,7 +2,7 @@ name: Maintenance on: # As of April '26, this won't run until this is the default branch. - # workflow_dispatch doesn't work neither. + # workflow_dispatch doesn't work either. schedule: # Weekly, at 02:30 UTC on Friday (somewhat randomly chosen). - cron: '30 02 * * 5' @@ -17,7 +17,8 @@ jobs: 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://github.com/orgs/community/discussions/37103 + # 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 Ruby uses: ruby/setup-ruby@v1 |