Skip to content

ci: fix issues with job naming when sequences are involved#979

Closed
rjaegers wants to merge 2 commits intomainfrom
ci/fix-sequence-in-name-issue
Closed

ci: fix issues with job naming when sequences are involved#979
rjaegers wants to merge 2 commits intomainfrom
ci/fix-sequence-in-name-issue

Commits

Commits on Oct 16, 2025