From 1dd6403786831ba4017ffef2d6f0090d53b3a2f6 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 18 Feb 2019 17:44:00 +0100
Subject: CI: fix trunk jobs switch picking

After #9590

Instead of this we could override before_script, either duplicating the debug
prints or just not doing debug prints for the trunk jobs.
---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f5a5d6d45a..f8278fa1f5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -436,7 +436,7 @@ test-suite:edge+trunk+make:
     - make -j "$NJOBS" world
     - make -j "$NJOBS" test-suite UNIT_TESTS=
   variables:
-    OPAM_SWITCH: edge
+    OPAM_SWITCH: base
   artifacts:
     name: "$CI_JOB_NAME.logs"
     when: always
@@ -462,7 +462,7 @@ test-suite:edge+trunk+dune:
     - export COQ_UNIT_TEST=noop
     - dune runtest --profile=ocaml409
   variables:
-    OPAM_SWITCH: edge
+    OPAM_SWITCH: base
   artifacts:
     name: "$CI_JOB_NAME.logs"
     when: always
-- 
cgit v1.2.3