Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add github workflow manual trigger (#11)
This is apparently necessary to be able to trigger a workflow manually
- Loading branch information