chore(ci): sync CI workflow updates from dev #7

Merged
jmiller merged 6 commits from dev into main 2026-06-04 17:03:57 +00:00