Skip to content

[anneal][v2] Initial commit of exocrate#3377

Closed
mdittmer wants to merge 1 commit into
mainfrom
Grh2t2u3tidwh6flup34dznz7bimfddoi
Closed

[anneal][v2] Initial commit of exocrate#3377
mdittmer wants to merge 1 commit into
mainfrom
Grh2t2u3tidwh6flup34dznz7bimfddoi

Conversation

@mdittmer
Copy link
Copy Markdown
Collaborator

@mdittmer mdittmer commented May 15, 2026

Co-authored-by: Mark Dittmer markdittmer@google.com


⬇️ Download this PR

Branch

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/Grh2t2u3tidwh6flup34dznz7bimfddoi

Stacked PRs enabled by GHerrit.

Co-authored-by: Mark Dittmer <markdittmer@google.com>

gherrit-pr-id: Grh2t2u3tidwh6flup34dznz7bimfddoi
@codecov-commenter
Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.88%. Comparing base (be6f199) to head (e26ffc1).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3377   +/-   ##
=======================================
  Coverage   91.88%   91.88%           
=======================================
  Files          20       20           
  Lines        6076     6076           
=======================================
  Hits         5583     5583           
  Misses        493      493           

☔ View full report in Codecov by Sentry.
📢 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
Copy link
Copy Markdown
Member

joshlf commented May 15, 2026

Looks like all tests passed successfully, which is what we wanted to test with this PR.

@joshlf joshlf closed this May 15, 2026
@joshlf joshlf deleted the Grh2t2u3tidwh6flup34dznz7bimfddoi branch May 15, 2026 22:13
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.

3 participants