[CI] Remove the variable DUNE_RUNNING_IN_CI from the local gitlab-ci (!1488) · Merge requests · Core Modules / dune-common

Merged Simon Praetorius requested to merge ci/remove-unnecessary-variable into master 4 months ago

Status	Pipeline	Stages
Passed 03:05:34 3 months ago	Remove the variable DUNE_RUNNING_IN_CI from the local gitlab-ci, since already set in the docker image #75573 1488 dbe23d73 merge request	Stage: .pre Stage: test Stage: code_quality Stage: downstream Pipeline: Dune Nightly Test #75590	Download artifacts No artifacts found
Failed 00:00:09 4 months ago	Remove the variable DUNE_RUNNING_IN_CI from the local gitlab-ci, since already set in the docker image #75548 1488 dbe23d73 merge request	Stage: .pre Stage: test Stage: code_quality Stage: downstream	Download artifacts No artifacts found
1
Failed 00:00:10 4 months ago	Remove the variable DUNE_RUNNING_IN_CI from the local gitlab-ci, since already set in the docker image #75547 ci/remove-unnecessary-variable dbe23d73 branch	Stage: .pre Stage: test Stage: code_quality Stage: downstream	Download artifacts No artifacts found
1

[CI] Remove the variable DUNE_RUNNING_IN_CI from the local gitlab-ci