Add continuous integration#3
Merged
eweitz merged 11 commits intomaster from continuous-integrationJan 13, 2020
+1,756-13
Commits
Commits on Jan 12, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed