Make ci-job-clippy's board selection cover all archs, dynamically - #3

Make ci-job-clippy's board selection cover all archs, dynamically#3

ppannuto-claude wants to merge 2 commits into

ppannuto:masterppannuto/tock:masterfrom

ppannuto-claude:prepush-arch-coverageppannuto-claude/tock:prepush-arch-coverageCopy head branch name to clipboard