Skip to content

improve Ptr trait, rename ErasedPin to AnyPin #2661

improve Ptr trait, rename ErasedPin to AnyPin

improve Ptr trait, rename ErasedPin to AnyPin #2661

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

clippy.yml

on: pull_request
clippy_check
46s
clippy_check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
clippy_check
Cache not found for keys: v0-rust-v0.22.0-clippy_check-Linux-x64-4d15c146-31755e89, v0-rust-v0.22.0-clippy_check-Linux-x64-4d15c146