Skip to content

improve Ptr trait, rename ErasedPin to AnyPin #2725

improve Ptr trait, rename ErasedPin to AnyPin

improve Ptr trait, rename ErasedPin to AnyPin #2725

Triggered via pull request July 10, 2025 08:46
@burrbullburrbull
synchronize #841
ptrtrait
Status Success
Total duration 11s
Artifacts

rustfmt.yml

on: pull_request
Rustfmt
7s
Rustfmt
Fit to window
Zoom out
Zoom in