Skip to content

Use better release-artifact names.#8

Merged
floitsch merged 3 commits intomainfrom
floitsch/use-newer-names
Nov 7, 2024
Merged

Use better release-artifact names.#8
floitsch merged 3 commits intomainfrom
floitsch/use-newer-names

Commits

Commits on Nov 7, 2024