Skip to content

[ci] Freeze the current CI coverage baseline - #3573

Open
joshlf wants to merge 1 commit into
Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6mfrom
G2no4jjfqasubxit6mn7xvdcyd3ko5ji3
Open

[ci] Freeze the current CI coverage baseline#3573
joshlf wants to merge 1 commit into
Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6mfrom
G2no4jjfqasubxit6mn7xvdcyd3ko5ji3

Conversation

@joshlf

@joshlf joshlf commented Aug 24, 2026

Copy link
Copy Markdown
Member

Record the exact matrix cells and standalone operations present at
286dd29. Also record normalized obligations so repeated work remains
visible when the new planner begins grouping runner work.

Derive matrix sets using generic Actions expansion and a separate
hand-written policy model. They agree on all 60 PR build cells, 182 full
build cells, 0 PR Miri cells, and 64 full Miri cells.

Keep representative argument lists as an independent check on command
construction. Freeze complete effective environments, including the
ordinary nightly flags inherited by the documentation command. These
files are reviewed evidence, not a runtime Actions interpreter or a
self-generated planner expectation.

Define the normalized condition always as the absence of an additional
operation-specific guard, not an explicit if: always() declaration.
Ordinary prior-step success and ordering remain in the source workflow;
modeling them would require a dependency graph for every sequential
step.

Tests: source hashes; TSV shape, sort, and count checks; JSON parsing;
independent set comparison.

Authored by an agent, posting via joshlf's account


Latest Update: v33 — Compare vs v32

📚 Full Patch History

Links show the diff between the row version and the column version.

Version v32 v31 v30 v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v33 v32 v31 v30 v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v32 v31 v30 v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v31 v30 v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v30 v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v8 v7 v6 v5 v4 v3 v2 v1 Base
v7 v6 v5 v4 v3 v2 v1 Base
v6 v5 v4 v3 v2 v1 Base
v5 v4 v3 v2 v1 Base
v4 v3 v2 v1 Base
v3 v2 v1 Base
v2 v1 Base
v1 Base
⬇️ Download this PR

Branch

git fetch origin refs/heads/G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 && git checkout -b pr-G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 FETCH_HEAD

Checkout

git fetch origin refs/heads/G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 && git checkout FETCH_HEAD

Cherry Pick

git fetch origin refs/heads/G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 && git cherry-pick FETCH_HEAD

Pull

git pull origin refs/heads/G2no4jjfqasubxit6mn7xvdcyd3ko5ji3

Stacked PRs enabled by GHerrit.

@codecov-commenter

codecov-commenter commented Aug 24, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.85%. Comparing base (c07c4e0) to head (41eb8c4).

Additional details and impacted files
@@                        Coverage Diff                         @@
##           Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m    #3573   +/-   ##
==================================================================
  Coverage                              91.85%   91.85%           
==================================================================
  Files                                     20       20           
  Lines                                   6093     6093           
==================================================================
  Hits                                    5597     5597           
  Misses                                   496      496           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@joshlf
joshlf force-pushed the Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m branch from d61725c to 85273d3 Compare August 24, 2026 23:09
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from 4c0e80d to cf9c091 Compare August 24, 2026 23:09
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from cf9c091 to 8bb2cbc Compare August 24, 2026 23:21
@joshlf

joshlf commented Aug 24, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head. Treat any earlier review as stale if it targets
a different commit.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Keep them coming!

Reviewed commit: 8bb2cbc625

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from 8bb2cbc to 3c0385b Compare August 24, 2026 23:47
@joshlf
joshlf force-pushed the Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m branch from 4f893f6 to 1ae23ca Compare August 24, 2026 23:47
@joshlf

joshlf commented Aug 24, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot 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.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 3c0385b18e

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread ci/baselines/README.md Outdated
Comment thread ci/baselines/logical-obligations.tsv Outdated
Comment thread ci/baselines/standalone-obligations.tsv Outdated
Comment thread ci/baselines/build-full.tsv
Comment thread ci/baselines/build-pr.tsv
Comment thread ci/baselines/command-goldens.tsv
Comment thread ci/baselines/logical-obligations.tsv
Comment thread ci/baselines/manifest.tsv
Comment thread ci/baselines/miri-full.tsv
Comment thread ci/baselines/miri-pr.tsv
Comment thread ci/baselines/standalone-obligations.tsv
Comment thread ci/baselines/README.md Outdated

joshlf commented Aug 25, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🎉

Reviewed commit: 146dbe69d6

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

joshlf commented Aug 25, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Already looking forward to the next diff.

Reviewed commit: f3da816301

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m branch from 32afcb6 to da05271 Compare August 26, 2026 01:28
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from f3da816 to f25c5da Compare August 26, 2026 01:28
@joshlf
joshlf force-pushed the Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m branch from da05271 to e9449ec Compare August 26, 2026 09:58
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from f25c5da to 540594a Compare August 26, 2026 09:58
@joshlf

joshlf commented Aug 26, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Nice work!

Reviewed commit: 540594a8c2

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m branch from e9449ec to e63e580 Compare August 26, 2026 15:46
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from 540594a to 8c1814e Compare August 26, 2026 15:46
@joshlf

joshlf commented Aug 26, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 👍

Reviewed commit: 8c1814e090

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m branch from e63e580 to b0ed12c Compare August 26, 2026 17:40
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from 8c1814e to 06e6ce7 Compare August 26, 2026 17:40
@joshlf

joshlf commented Aug 26, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. You're on a roll.

Reviewed commit: 06e6ce728d

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the Gtynnl3k4vyrtzrvdux7rxs4dkq7l7f6m branch from b0ed12c to c07c4e0 Compare August 26, 2026 18:55
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from 06e6ce7 to 8623ac9 Compare August 26, 2026 18:55
@joshlf

joshlf commented Aug 26, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head, 8623ac99e17ce46c373e35e91478cd8825b09d94.

@chatgpt-codex-connector chatgpt-codex-connector Bot 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.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 8623ac99e1

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread ci/baselines/logical-obligations.tsv
Comment thread ci/baselines/README.md
Comment thread ci/baselines/command-goldens.tsv Outdated
Record the exact matrix cells and standalone operations present at
286dd29. Also record normalized obligations so repeated work remains
visible when the new planner begins grouping runner work.

Derive matrix sets using generic Actions expansion and a separate
hand-written policy model. They agree on all 60 PR build cells, 182 full
build cells, 0 PR Miri cells, and 64 full Miri cells.

Keep representative argument lists as an independent check on command
construction. Freeze complete effective environments, including the
ordinary nightly flags inherited by the documentation command. These
files are reviewed evidence, not a runtime Actions interpreter or a
self-generated planner expectation.

Define the normalized condition `always` as the absence of an additional
operation-specific guard, not an explicit `if: always()` declaration.
Ordinary prior-step success and ordering remain in the source workflow;
modeling them would require a dependency graph for every sequential
step.

Tests: source hashes; TSV shape, sort, and count checks; JSON parsing;
independent set comparison.

*Authored by an agent, posting via joshlf's account*

gherrit-pr-id: G2no4jjfqasubxit6mn7xvdcyd3ko5ji3
@joshlf
joshlf force-pushed the G2no4jjfqasubxit6mn7xvdcyd3ko5ji3 branch from 8623ac9 to 41eb8c4 Compare August 26, 2026 20:11
@joshlf

joshlf commented Aug 26, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head, 41eb8c47422d5dc80e91fa478fd10b6706561e40.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Delightful!

Reviewed commit: 41eb8c4742

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

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