Skip to content

improve Ptr trait & rename ErasedPin to AnyPin #2743

improve Ptr trait & rename ErasedPin to AnyPin

improve Ptr trait & rename ErasedPin to AnyPin #2743

Re-run triggered September 22, 2025 05:47
Status Success
Total duration 22s
Artifacts

rustfmt.yml

on: pull_request
Fit to window
Zoom out
Zoom in