[!125] Bugfix/envforcmake

Merge branch 'bugfix/envforcmake' into 'master'

See merge request [!125]

  [!125]: Nonestaging/dune-python/merge_requests/125
1 job for master in 15 seconds
Status Job ID Name Coverage
failed #86053
debian:9 gcc


Name Stage Failure
debian:9 gcc Test
Using Docker executor with image duneci/base:9 ...
Pulling docker image duneci/base:9 ...
Using docker image sha256:cbb947ce84b360f47d440dd5e2156a22d5d0175e731f1c03c81559b9f63d56e3 for duneci/base:9 ...
Running on runner-d307b235-project-296-concurrent-0 via sky...
Cloning repository...
Cloning into '/builds/staging/dune-python'...
fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.dune-project.org/staging/dune-python.git/': Could not resolve proxy: dune-proxy
/bin/bash: line 81: cd: /builds/staging/dune-python: No such file or directory
ERROR: Job failed: exit code 1