Skip to content

CI: name the threads job like the other jobs - #950

Merged
christiangnrd merged 1 commit into
mainfrom
ci-threads-job-name
Nov 5, 2026
Merged

christiangnrd merged 1 commit into
mainfrom
ci-threads-job-name