CI: simplified config file
Merge branch 'master' of https://github.com/dtcaciuc/nitrous