Skip to content

Switch CI to github actions and remove Travis#199

Merged
kleinschmidt merged 11 commits into
masterfrom
dfk/gh-ci
Dec 2, 2020
Merged

Switch CI to github actions and remove Travis#199
kleinschmidt merged 11 commits into
masterfrom
dfk/gh-ci

Commits

Commits on Nov 28, 2020

Commits on Dec 2, 2020