Set up continuous integration#5
Open
dzhoshkun wants to merge 23 commits intomasterfrom 2-continuous-integration
+81
Commits
Commits on Sep 6, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 24, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Revert "#2: comment out "only" section in CI Docker build configuration to force building of Docker image"
committed- committed
Commits on Oct 22, 2019
- committed
- committed
- committed
- committed