Development server

We’ve a dedicated shared development server called or simply


The development server runs Docker, which can be used for testing, building and deployments.

We’re also running our own Docker Registry which can be used to push Docker images.

GitLab Runners

There are 2 registered and shared GitLab runners running on the development server. Use the following GitLab CI tags to access the runners:

  • dev docker: To run a job in a Docker container on the development server (i.e. Docker executor)

  • dev shell: To run a job directly in the shell on development server (i.e. Shell executor)


Use the dev shell tags only for deploying Docker containers (i.e. docker-compose). For everything else, use the dev docker tags and thus the Docker executor.


To route requests, have a look at the Proxy chapter.