ci: fix issues with job naming when sequences are involved#979
Closed
Ron (rjaegers) wants to merge 2 commits into
Closed
ci: fix issues with job naming when sequences are involved#979Ron (rjaegers) wants to merge 2 commits into
Ron (rjaegers) wants to merge 2 commits into