change all CI job tags to 'demeter'

.gitlab-ci.yml

@@ -14,7 +14,7 @@ stages:
 build:main:
   stage: build
   tags:
-    - docker
+    - demeter
   script:
     - CMAKE_FLAGS="-DDUNE_PYTHON_VIRTUALENV_SETUP=True -DDUNE_PYTHON_ALLOW_GET_PIP=True" MAKE_FLAGS="-j 2" ./dune-common/bin/dunecontrol --only=dorie all
   artifacts:
@@ -26,7 +26,7 @@ build:main:
 build:update_dune:
   stage: build
   tags:
-    - docker
+    - demeter
   script:
     - ./dune-common/bin/dunecontrol update
     - ./dune-common/bin/dunecontrol exec "rm -rf build-cmake"
@@ -40,7 +40,7 @@ build:update_dune:
 build:debug:
   stage: build
   tags:
-    - docker
+    - demeter
   script:
     - CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=Debug -DDUNE_PYTHON_VIRTUALENV_SETUP=True -DDUNE_PYTHON_ALLOW_GET_PIP=True" MAKE_FLAGS="-j 2" ./dune-common/bin/dunecontrol --only=dorie all
   artifacts:
@@ -52,7 +52,7 @@ build:debug:
 test:main:
   stage: test
   tags:
-    - docker
+    - demeter
   dependencies:
     - build:main
   allow_failure: true
@@ -68,7 +68,7 @@ test:main:
 test:update_dune:
   stage: test
   tags:
-    - docker
+    - demeter
   dependencies:
     - build:update_dune
   allow_failure: true
@@ -84,7 +84,7 @@ test:update_dune:
 deploy:build_docs:
   stage: deploy
   tags:
-    - docker
+    - demeter
   dependencies:
     - build:main
   script: