Skip to content

Add a github action to run the CI.#112

Merged
jaqx0r merged 1 commit intomasterfrom github-actionsDec 23, 2020

Commits

Commits on Dec 23, 2020