Repository navigation
ci: add morning catch-up slots for delayed download checks - #94
Merged
Merged
Conversation
Deploying androiddevtools with
|
| Latest commit: |
96be5e6
|
| Status: | ✅ Deploy successful! |
| Preview URL: | https://e47cd857.androiddevtools.pages.dev |
| Branch Preview URL: | https://fix-download-schedule-catch.androiddevtools.pages.dev |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Daily 00:20 UTC checks have consistently arrived hours late. Add 02:20 and 04:20 UTC catch-up slots to the same workflow, retaining the original slot and all guarded update steps. This requests three daily checks (08:20/10:20/12:20 Asia/Shanghai), not a guaranteed execution deadline.
Evidence (2026-10-07 snapshot)
The latest 14 schedule runs all used
20 0 * * *across their four source commits. REST timestamps are UTC (Z);created_atequalsrun_started_atin every run. These timestamps expose run creation/start, not GitHub's internal cron enqueue time. Thus the multi-hour discrepancy is real, but its exact internal cause cannot be established from these fields.Delay range: 4h31m41s–6h01m26s; mean approximately 5h13m. Runs #7/#15/#16 concluded failure; the same late-start pattern also exists in the 11 successful runs, so schedule lateness is independently observable. If upstream changes are available at the intended morning check, detection/review-PR creation can be postponed by this delay; run history alone does not prove a specific missed release. Published pages still require manual PR merge.
Scope and safety
Validation
Parsed before/after YAML and compared the full structures after replacing the schedule value: all other fields identical, including jobs, permissions, concurrency and workflow_dispatch. Expanded cron requests only 00:20, 02:20, 04:20 daily UTC. No parser/cross-validation changes or full release-content re-audit. Actual scheduling improvement must be observed after merge on the default branch; branch checks cannot validate schedule delivery.
Reliability limits / minimal alternative
GitHub schedule documentation explicitly permits delays and dropped runs. Extra slots provide additional best-effort opportunities, not a bounded maximum staleness or a promise of 08:20 completion. Observe earliest successful daily completion and all slot deliveries for 7–14 days after merge.
For an operational deadline, use an external reliable timer to invoke the existing workflow_dispatch on master, with a repository-scoped Actions-write credential, then monitor completion and retry/alert on failure or missed deadline. This avoids GitHub cron delivery but still depends on runner availability and upstream validation. Strict execution deadlines would require a controlled runner/service. No external scheduler is provisioned by this PR.