Skip to content

Use short sha for github release name #8

Use short sha for github release name

Use short sha for github release name #8

merge

succeeded Oct 3, 2024 in 14s