Skip to content

improve Ptr trait, rename ErasedPin to AnyPin #2733

improve Ptr trait, rename ErasedPin to AnyPin

improve Ptr trait, rename ErasedPin to AnyPin #2733

Triggered via pull request August 11, 2025 06:24
@burrbullburrbull
synchronize #841
ptrtrait
Status Success
Total duration 50s
Artifacts

ci.yml

on: pull_request
Matrix: check
Fit to window
Zoom out
Zoom in