Skip to content

[ci] Gate docs on exact-SHA CI results - #3512

Merged
joshlf merged 1 commit into
mainfrom
Gythmn2x4ak26nzocje3gxts44y7itqe6
Aug 1, 2026
Merged

[ci] Gate docs on exact-SHA CI results#3512
joshlf merged 1 commit into
mainfrom
Gythmn2x4ak26nzocje3gxts44y7itqe6

Conversation

@joshlf

@joshlf joshlf commented Jul 31, 2026

Copy link
Copy Markdown
Member

The docs workflow previously deployed after Anneal alone and checked
out whatever happened to be at the tip of main. A newer commit could
therefore be documented without having passed either workflow, and core
CI failures did not block publication.

Trigger the coordinator from both core and Anneal completions. Query
each workflow by stable filename for the triggering SHA, require both
push runs to have completed successfully, and let only the
deterministically later completion deploy. This also permits a
successful rerun to repair a failed pair without creating duplicate
deployments.

Pass the authorized SHA to checkout explicitly and expose the matching
Anneal run ID for trusted consumers of that run's artifacts.


Latest Update: v6 — Compare vs v5

📚 Full Patch History

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

Version v5 v4 v3 v2 v1 Base
v6 vs v5 vs v4 vs v3 vs v2 vs v1 vs Base
v5 vs v4 vs v3 vs v2 vs v1 vs Base
v4 vs v3 vs v2 vs v1 vs Base
v3 vs v2 vs v1 vs Base
v2 vs v1 vs Base
v1 vs Base
⬇️ Download this PR

Branch

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/Gythmn2x4ak26nzocje3gxts44y7itqe6

Stacked PRs enabled by GHerrit.

@codecov-commenter

codecov-commenter commented Jul 31, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.85%. Comparing base (6bdcdab) to head (a49d29d).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3512   +/-   ##
=======================================
  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 Gi7fqbztzwp7leeet4gpsldtxbcjupbml branch from 6137048 to 6b1807f Compare July 31, 2026 23:45
@joshlf
joshlf force-pushed the Gythmn2x4ak26nzocje3gxts44y7itqe6 branch from b79b3ed to 0be71f6 Compare July 31, 2026 23:45
Base automatically changed from Gi7fqbztzwp7leeet4gpsldtxbcjupbml to main July 31, 2026 23:56
The docs workflow previously deployed after Anneal alone and checked
out whatever happened to be at the tip of main. A newer commit could
therefore be documented without having passed either workflow, and core
CI failures did not block publication.

Trigger the coordinator from both core and Anneal completions. Query
each workflow by stable filename for the triggering SHA, require both
push runs to have completed successfully, and let only the
deterministically later completion deploy. This also permits a
successful rerun to repair a failed pair without creating duplicate
deployments.

Pass the authorized SHA to checkout explicitly and expose the matching
Anneal run ID for trusted consumers of that run's artifacts.

gherrit-pr-id: Gythmn2x4ak26nzocje3gxts44y7itqe6
@joshlf
joshlf force-pushed the Gythmn2x4ak26nzocje3gxts44y7itqe6 branch from 0be71f6 to a49d29d Compare August 1, 2026 00:04
@joshlf
joshlf merged commit 5a907c2 into main Aug 1, 2026
126 checks passed
@joshlf
joshlf deleted the Gythmn2x4ak26nzocje3gxts44y7itqe6 branch August 1, 2026 00:08
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