Closed jwillemsen closed 11 months ago
Add workflow_dispatch so that the CI can be started manually
Can you also add "on pull request"?
Done
Add workflow_dispatch so that the CI can be started manually