Gitlab Runner for DUNE

./bin/duneci-runner
./bin/duneci-runner-gc

docker exec gitlab-runner gitlab-runner -v

apt install docker.io
mkdir -p /srv/gitlab-runner/config

docker exec -it gitlab-runner gitlab-runner register

concurrent = 4
check_interval = 0

[[runners]]
  name = "shared-ci@tu-dresden.de"
  url = "https://gitlab.dune-project.org"
  id = 0
  token = "[...]"
  token_obtained_at = 0001-01-01T00:00:00Z
  token_expires_at = 0001-01-01T00:00:00Z
  executor = "docker"

  # Set proxy variables if needed:
  environment = ["DUNECI_PARALLEL=4", "ftp_proxy=http://dune-proxy:3128", "http_proxy=http://dune-proxy:3128", "https_proxy=http://dune-proxy:3128", "no_proxy=127.0.0.1, localhost"]

  [runners.docker]
    tls_verify = false
    image = "duneci/dune:latest"
    privileged = false
    disable_entrypoint_overwrite = false
    oom_kill_disable = false
    security_opt = ["no-new-privileges"]
    disable_cache = true
    # See [Proxy setup](#proxy-setup) below:
    network_mode = "gitlab-ci-dune"
    allowed_images = ["duneci/*", "docker.io/duneci/*", "docker.io/fsfe/reuse:*", "registry.dune-project.org/docker/ci/*"]
    pull_policy = ["always"]
    shm_size = 10737418240
    network_mtu = 0
    cpus = "6"
    memory = "32G"

    # No longer used:
    # OpenMPI-2 is unhappy with the (too long) default hostnames:
    #hostname = "ci"
    #allowed_services = []

./bin/duneci-proxy gitlab-ci-dune dune-proxy
./bin/duneci-proxy gitlab-ci-fu fu-proxy

[[runners]]
  [runners.docker]
    network_mode = "gitlab-ci-dune"