Skip to content

fix(ci): make unique and improve Github workflow job ids to make it easier to reference them from Github settings#918

Open
jenstroeger wants to merge 3 commits intomainfrom
improve-job-ids
Open

fix(ci): make unique and improve Github workflow job ids to make it easier to reference them from Github settings#918
jenstroeger wants to merge 3 commits intomainfrom
improve-job-ids

Commits

Commits on Apr 14, 2025

Commits on Jun 14, 2025