Skip to content

[TASK] Make the naming schema of CI jobs consistent#1581

Merged
DanielSiepmann merged 1 commit intomainfrom task/rename-gitlab-ciFeb 3, 2025

Commits

Commits on Feb 3, 2025