Skip to content

improve Ptr trait, rename ErasedPin to AnyPin #2724

improve Ptr trait, rename ErasedPin to AnyPin

improve Ptr trait, rename ErasedPin to AnyPin #2724

Triggered via pull request July 10, 2025 08:45
@burrbullburrbull
synchronize #841
ptrtrait
Status Failure
Total duration 14s
Artifacts

rustfmt.yml

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

Annotations

1 error
Rustfmt
Process completed with exit code 1.