Change CI to docker based setup#191
Draft
rstub wants to merge 13 commits intomasterfrom feature/ci
+137-50
Commits
Commits on Feb 19, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 20, 2019
Commits on Feb 22, 2019
- committed
Commits on Mar 1, 2019
- committed
Commits on Aug 6, 2019
- committed