Merge branch 'fix-ci' into 'master'

[gitlab-ci] disable IO since io_uring is not available in our CI See merge request i4/manycore/emper!74

Merge branch 'fix-ci' into 'master'
bd5d0d3d · Florian Schmaus · 47936bd7 · 1205afea · bd5d0d3d
Commit bd5d0d3d authored 4 years ago by Florian Schmaus
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -34,6 +34,7 @@ variables:
  CC: gcc
  CXX: g++
  EXTRA_NINJA_ARGS: -v
+  EMPER_IO: "false"

 .test:
  stage: test