Skip to content

improve Ptr trait, rename ErasedPin to AnyPin #1751

improve Ptr trait, rename ErasedPin to AnyPin

improve Ptr trait, rename ErasedPin to AnyPin #1751

Triggered via pull request June 24, 2025 02:44
@burrbullburrbull
synchronize #841
ptrtrait
Status Success
Total duration 12s
Artifacts

changelog.yml

on: pull_request
Changelog check
6s
Changelog check
Fit to window
Zoom out
Zoom in