From 8259a690fff36e56eb4f584981861a2bc45ee961 Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel.hym@univ-lille.fr>
Date: Wed, 29 Jun 2022 12:30:06 +0200
Subject: [PATCH] CI: Display current opam configuration

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d0fce1b..2a98a64 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,6 +3,7 @@ image: "coqorg/coq:latest"
 build:
   stage: build
   script:
+    - opam config list
     - .ci/apt-get.sh ghc cabal-install libghc-language-c-dev libghc-wl-pprint-text-dev libghc-optparse-applicative-dev libghc-data-default-dev libghc-aeson-dev
     - cabal build
     - cp dist/build/digger/digger digger
-- 
GitLab