Re-verify PR #13805 after boards-polish fixes

completed

Priority: 1

PR: #13805

Monitor PR #13805 for status changes and follow up to ensure DeepSource issues and package version bumps are addressed before merging.

Event Timeline

created

status_change

in_progress → completed