Skip to content

Upgrade CI version to have a nicer git describe on main#75

Merged
jonenst merged 1 commit intomainfrom
prettydescribe
Sep 8, 2025
Merged

Upgrade CI version to have a nicer git describe on main#75
jonenst merged 1 commit intomainfrom
prettydescribe

Commits

Commits on Sep 8, 2025