[TASK] Output the job name in the GitLab CI builds#1013

Merged

DanielSiepmann merged 1 commit intomainfrom task/debug-gitlab

Nov 27, 2023

+24

Commits on Nov 27, 2023

[TASK] Output the job name in the GitLab CI builds
oliverklee
committed