Commit 1576d01c authored Jun 27, 2019 by Alberto Miranda

Merge branch 'improve-ci-infrastructure' into 'master'

Improve ci infrastructure

Closes #38

See merge request !20