Skip to content

Add a workflow_dispatch trigger to the CI job.#73

Merged
chrisgavin merged 1 commit intomainfrom
workflow-dispatch
Jun 6, 2022

Commits

Commits on May 30, 2022