Skip to content

Add a workflow_dispatch trigger to the CI job.#73

Merged
chrisgavin merged 1 commit intomainfrom workflow-dispatchJun 6, 2022

Commits

Commits on May 30, 2022