Skip to content

improve Ptr trait & rename ErasedPin to AnyPin #1770

improve Ptr trait & rename ErasedPin to AnyPin

improve Ptr trait & rename ErasedPin to AnyPin #1770

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

changelog.yml

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