Skip to content

CI: log why the record-only sample for the docs-only lane is still empty (Part of #7963) - #7990

Merged
squid-shepherd[bot] merged 1 commit into
mainfrom
churn/7963-20261107T1046Z
Nov 7, 2026
Merged

squid-shepherd[bot] merged 1 commit into
mainfrom
churn/7963-20261107T1046Z

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Part of #7963

Checklist: partial [c:494af16c] -- needs 10 record-only PRs merged after #7968; pr_runner_cost.py --next-record-only 10 finds 0 today

What

docs/ci_experiments_log.md only: records why the sample is slow. Of the 16 PRs merged after #7968 none was record-only. The nearest, #7977 (only cobolrt_api.json, 40 runner-min), is correctly off the allowlist because test_cobolrt_api.py reads it. No workflow or classifier change: widening the allowlist would skip a job that reads a changed path.

Facts checked

  • --next-record-only 10 returns no PRs (2026-11-07).
  • audit_check.py: all clear.

Class sweep

Class: record-only allowlist vs. generated docs/language_status pages. Sibling gaps: generated JSON/md pages that a test reads stay on the full lane by design. No burned-estate program needs a change.

Remaining slices

Run --next-record-only 10 once ten exist and log the per-PR figure against 52.8 (docs/ci_experiments_log.md, 1 file).

Cross-repo

None.

🤖 Generated with Claude Code

…pty (Part of #7963)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@squid-protocol squid-protocol added the shepherd:merge Maintainer: merge when green (auto-merge, squash). Guide: docs/ci.md label Nov 7, 2026
@squid-shepherd

squid-shepherd Bot commented Nov 7, 2026

Copy link
Copy Markdown
Contributor

No description provided.

1 similar comment
@squid-shepherd

squid-shepherd Bot commented Nov 7, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@squid-shepherd
squid-shepherd Bot marked this pull request as ready for review November 7, 2026 11:06
@squid-shepherd
squid-shepherd Bot enabled auto-merge (squash) November 7, 2026 11:07
@squid-shepherd
squid-shepherd Bot merged commit dc2e1b4 into main Nov 7, 2026
59 checks passed
@squid-shepherd
squid-shepherd Bot deleted the churn/7963-20261107T1046Z branch November 7, 2026 11:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

shepherd:merge Maintainer: merge when green (auto-merge, squash). Guide: docs/ci.md

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant