CI pkg:opam list installed coq files in artifacts

SkySkimmer · Dec 10, 2024 · 3d02c62 · 3d02c62
1 parent 88e0159
commit 3d02c62
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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