Skip to content

NOTICKET. Add a github workflow for testing PRs.#20

Merged
andrewru merged 4 commits intomasterfrom NOTICKET-github-actionsFeb 12, 2024