Merge branch 'CI' into 'master' (!2) · Merge requests · Roan / KeysPerSecond

Roan requested to merge cherry-pick-3204d76b into layout-dev Aug 31, 2018

CI configuration

See merge request roan/KeyPerSecond!1

(cherry picked from commit 3204d76b)

15eb0a72 CI configuration bc485204 Update .gitlab-ci.yml 90aa1d16 Update .gitlab-ci.yml

Merge branch 'CI' into 'master'