added CI, fixed configuration

This commit is contained in:
Phuntsok Drak-pa
2019-03-19 11:01:39 +01:00
parent 0239487ffb
commit 48d5b5bf28
4 changed files with 54 additions and 20 deletions