Skip to content

Rename Ptr::try_into_valid to Ptr::try_into_safe - #3679

Merged
jswrenn merged 1 commit into
mainfrom
G43414d79608bdfefacdf84890ce8f2224bdb5ceb
Sep 13, 2026
Merged

jswrenn merged 1 commit into
mainfrom
G43414d79608bdfefacdf84890ce8f2224bdb5ceb

Conversation

@jswrenn

@jswrenn jswrenn commented Sep 13, 2026

Copy link
Copy Markdown
Collaborator

⬇️ Download this PR

Branch

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/G43414d79608bdfefacdf84890ce8f2224bdb5ceb

Stacked PRs enabled by GHerrit.

gherrit-pr-id: G43414d79608bdfefacdf84890ce8f2224bdb5ceb
@codecov-commenter

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.90%. Comparing base (218f771) to head (e97c630).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3679   +/-   ##
=======================================
  Coverage   91.90%   91.90%           
=======================================
  Files          20       20           
  Lines        6175     6175           
=======================================
  Hits         5675     5675           
  Misses        500      500           

☔ 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.

@jswrenn
jswrenn enabled auto-merge September 13, 2026 19:50
@jswrenn
jswrenn requested a review from joshlf September 13, 2026 19:50
@jswrenn
jswrenn added this pull request to the merge queue Sep 13, 2026
Merged via the queue into main with commit 2443ec0 Sep 13, 2026
111 checks passed
@jswrenn
jswrenn deleted the G43414d79608bdfefacdf84890ce8f2224bdb5ceb branch September 13, 2026 20:10
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