From d6d813e6d393549f8da8b3e680948f2762f00074 Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Fri, 15 Dec 2023 12:59:37 +0100
Subject: [PATCH] Add job artifacts in CI

Ref. eng/recordflux/RecordFlux#1467
---
 .gitlab-ci.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1abd13ce7..c25ba4ff7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -174,6 +174,11 @@ tests_rflx:
     - *setup_gnat_cross
     - *setup_python
     - make test_rflx
+  artifacts:
+    expose_as: "Distribution archives"
+    paths:
+      - dist
+      - ide/vscode/recordflux.vsix
 
 tests_example_apps:
   extends: .testing
@@ -395,6 +400,11 @@ html_documentation:
     - *setup_gnat
     - *setup_python
     - make html_doc
+  artifacts:
+    expose_as: "HTML documentation"
+    paths:
+      - doc/language_reference/build/html
+      - doc/user_guide/build/html
 
 pdf_documentation:
   extends: .testing
@@ -404,6 +414,11 @@ pdf_documentation:
     - *setup_gnat
     - *setup_python
     - make pdf_doc
+  artifacts:
+    expose_as: "PDF documentation"
+    paths:
+      - doc/language_reference/build/latex/language_reference.pdf
+      - doc/user_guide/build/latex/user_guide.pdf
 
 ##################
 # Scheduled jobs #