.github: Add job names and restrict permission & credentials #87
Merged
kartben merged 3 commits intozephyrproject-rtos:mainfrom Oct 16, 2025
Merged
.github: Add job names and restrict permission & credentials #87kartben merged 3 commits intozephyrproject-rtos:mainfrom
kartben merged 3 commits intozephyrproject-rtos:mainfrom