Skip to content

chore(#4036): CI timeout budget history update - #5247

Merged
trek-e merged 1 commit into
nextfrom
chore/4036-ci-timeout-budget-history
Oct 7, 2026
Merged

trek-e merged 1 commit into
nextfrom
chore/4036-ci-timeout-budget-history

Conversation

@trek-e

@trek-e trek-e commented Oct 7, 2026

Copy link
Copy Markdown
Collaborator

Refs #4036

Automated, data-only update to tests/ci-timeout-budget-history.jsonl: new job/shard wall-clock vs. timeout-minutes records collected by .github/workflows/ci-timeout-report.yml.

This is the single rolling PR for these records. Each scheduled run rebuilds the branch on the current next tip with every pending record, so it never conflicts with a sibling and is up to date as of the run. It is approved by the workflow only when it is exactly this branch, from this repository, at the commit the workflow pushed, changing only the history file, and then merges through auto-merge once required checks pass.

@trek-e trek-e added no-changelog PR edits CHANGELOG.md directly or is docs-only; opts out of changeset requirement automation Automated/bot-generated PR or issue labels Oct 7, 2026
@trek-e trek-e added no-changelog PR edits CHANGELOG.md directly or is docs-only; opts out of changeset requirement automation Automated/bot-generated PR or issue labels Oct 7, 2026

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Auto-approved by ci-timeout-report: this repository's rolling data-only PR at 58a7e52, changing only tests/ci-timeout-budget-history.jsonl.

@trek-e
trek-e enabled auto-merge (squash) October 7, 2026 07:39
@trek-e
trek-e merged commit 83aba44 into next Oct 7, 2026
36 of 40 checks passed
@trek-e
trek-e deleted the chore/4036-ci-timeout-budget-history branch October 7, 2026 08:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automation Automated/bot-generated PR or issue no-changelog PR edits CHANGELOG.md directly or is docs-only; opts out of changeset requirement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants