Skip to content

Clean workflow names#79

Merged
jochym merged 1 commit intomasterfrom
dev
Dec 7, 2024
Merged

Clean workflow names#79
jochym merged 1 commit intomasterfrom
dev

Commits

Commits on Dec 7, 2024