Skip to content

clippy: fix ptr_as_ptr lint#730

Merged
lhecker merged 1 commit intomicrosoft:mainfrom
xtqqczze:clippy/ptr_as_ptr
Apr 16, 2026
Merged

clippy: fix ptr_as_ptr lint#730
lhecker merged 1 commit intomicrosoft:mainfrom
xtqqczze:clippy/ptr_as_ptr

Conversation

@xtqqczze
Copy link
Copy Markdown
Contributor

@xtqqczze xtqqczze marked this pull request as ready for review December 31, 2025 22:42
@xtqqczze xtqqczze force-pushed the clippy/ptr_as_ptr branch from 5089043 to 2167961 Compare March 3, 2026 16:18
@DHowett
Copy link
Copy Markdown
Member

DHowett commented Mar 3, 2026

@karan68 we have not authorized your robot to operate on this repository. leave.

@lhecker lhecker enabled auto-merge (squash) April 16, 2026 11:23
@lhecker lhecker closed this Apr 16, 2026
auto-merge was automatically disabled April 16, 2026 11:23

Pull request was closed

@lhecker lhecker reopened this Apr 16, 2026
@lhecker lhecker merged commit 7c0b3d1 into microsoft:main Apr 16, 2026
3 checks passed
@xtqqczze xtqqczze deleted the clippy/ptr_as_ptr branch April 16, 2026 11:28
CringeCronge added a commit to CringeCronge/edit that referenced this pull request Apr 16, 2026
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