Skip to content

improve Ptr trait, rename ErasedPin to AnyPin #2742

improve Ptr trait, rename ErasedPin to AnyPin

improve Ptr trait, rename ErasedPin to AnyPin #2742

Triggered via pull request September 22, 2025 05:42
@burrbullburrbull
synchronize #841
ptrtrait
Status Success
Total duration 19s
Artifacts

rustfmt.yml

on: pull_request
Fit to window
Zoom out
Zoom in