Skip to content

Allow manual trigger of GH workflow#92

Merged
kuenishi merged 1 commit intomasterfrom manual-triggerJun 9, 2023

Commits

Commits on Jun 9, 2023