Skip to content

Allow manually triggering github workflow#82

Merged
Tehforsch merged 1 commit intomainfrom manual-github-workflowsAug 15, 2024

Commits

Commits on Aug 15, 2024