Poll for a release to copy to GitHub every three hours

This commit is contained in:
Jon Staab 2026-09-24 14:55:32 -07:00
parent 201836a246
commit 57438f67fd

View file

@ -7,7 +7,7 @@ on:
# A release goes public whenever its last artifact lands, which can be from a local run hours # A release goes public whenever its last artifact lands, which can be from a local run hours
# after the tag, so its copy on GitHub is kept up to date by polling # after the tag, so its copy on GitHub is kept up to date by polling
schedule: schedule:
- cron: "*/30 * * * *" - cron: "0 */3 * * *"
workflow_dispatch: workflow_dispatch:
# Serialized rather than cancel-in-progress: aborting a push halfway leaves the # Serialized rather than cancel-in-progress: aborting a push halfway leaves the