Skip to content

ci(release): List again every 2s, for up to 30s - #192

Merged
mpaulosky merged 1 commit into
mainfrom
chore/shorter-release-list-wait
Sep 30, 2026
Merged

mpaulosky merged 1 commit into
mainfrom
chore/shorter-release-list-wait

Conversation

@mpaulosky

Copy link
Copy Markdown
Owner

Summary

Follow-up to #190. The docs job lists Releases again until each PR it released has one. The lag seen on #188 was under 8 seconds, so polling every 5 seconds for up to a minute waited longer than needed. It now polls every 2 seconds, 15 times. A Release that never appears (its release failed) costs the docs job about 28 seconds instead of 55.

Testing

  • All script tests: 186 passed, 1 skipped (they use the constants, so the timing change needs no test edits).
  • yamllint and actionlint are clean, and the pre-push gate passed.

Refs #144

🤖 Generated with Claude Code

The lag seen was under 8 seconds, so polling every 5s for a minute waited
longer than needed. A Release that never appears now costs the docs job
about 28 seconds instead of 55.

Refs #144

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Copilot AI balanced review requested due to automatic review settings September 30, 2026 12:02

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot review overview

🟢 Approval recommended

The timing changes are consistent, documented, and covered by existing retry-behavior tests.

Review effort: Balanced
Findings: None

What changed in this PR

Reduces release-list polling latency while preserving retry coverage for delayed GitHub Releases.

Changes:

  • Poll every 2 seconds for 15 attempts.
  • Update workflow and script documentation to reflect the ~30-second window.
File Description
.github/​workflows/​release.yml Updates polling-window commentary.
.github/​scripts/​backfill_blog_posts.py Changes retry timing and documentation.

💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@github-actions

Copy link
Copy Markdown
Contributor

Test Results Summary

483 tests  ±0   483 ✅ ±0   14s ⏱️ -4s
  9 suites ±0     0 💤 ±0 
  9 files   ±0     0 ❌ ±0 

Results for commit 4215b0f. ± Comparison against base commit 3f70948.

@mpaulosky
mpaulosky merged commit 49b7497 into main Sep 30, 2026
28 checks passed
@mpaulosky
mpaulosky deleted the chore/shorter-release-list-wait branch September 30, 2026 12:06
@codecov

codecov Bot commented Sep 30, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 85.40%. Comparing base (3f70948) to head (4215b0f).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #192   +/-   ##
=======================================
  Coverage   85.40%   85.40%           
=======================================
  Files          77       77           
  Lines        1596     1596           
  Branches      150      150           
=======================================
  Hits         1363     1363           
  Misses        189      189           
  Partials       44       44           

mpaulosky added a commit that referenced this pull request Sep 30, 2026
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants