From 3d02c62b5c7804e2ec143cb920f11dc8423584d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Tue, 10 Dec 2024 14:22:58 +0100
Subject: [PATCH] CI pkg:opam list installed coq files in artifacts

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d4460f49a15e..e3c9086832c5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -239,6 +239,14 @@ before_script:
     - if [ "$COQ_CI_NATIVE" = true ]; then echo "Definition f x := x + x." > test_native.v; fi
     - if [ "$COQ_CI_NATIVE" = true ]; then coqc test_native.v; fi
     - if [ "$COQ_CI_NATIVE" = true ]; then test -f .coq-native/Ntest_native.cmxs; fi
+  after_script:
+    - du -ha "$OPAM_SWITCH_PREFIX/lib/coq" > files.listing
+  artifacts:
+    name: "$CI_JOB_NAME"
+    paths:
+      - files.listing
+    when: always
+    expire_in: 1 week
   variables:
     OPAM_VARIANT: "+flambda"
   only: *full-ci