Skip to content

Use GitHub action instead of Travis for CI.#616

Merged
jgreben merged 1 commit intomasterfrom gh-actionsNov 10, 2020
+22-32

Commits

Commits on Nov 9, 2020