Skip to content

fix: strip only the legacy prefix from GHA job names - #141

Merged
traversaro merged 1 commit into
RoboStack:masterfrom
baszalmstra:fix/gha-job-names
Sep 1, 2026
Merged

fix: strip only the legacy prefix from GHA job names#141
traversaro merged 1 commit into
RoboStack:masterfrom
baszalmstra:fix/gha-job-names

Commits

Commits on Sep 1, 2026