Skip to content

DEV: Add workflow_dispatch to CI#2145

Merged
MartinThoma merged 1 commit intomainfrom dev/workflow-dispatchSep 3, 2023

Commits

Commits on Sep 3, 2023