Skip to content

Switch to GitHub Actions CI.#85

Merged
paulmillr merged 3 commits intoopen-cli-tools:masterfrom XhmikosR:gh-actionsNov 5, 2019

Commits

Commits on Oct 29, 2019