From 3b2f30ee572f207190f0de76b55dec4fe05b8ccb Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Wed, 24 Apr 2024 13:46:27 +0200
Subject: [PATCH] Run GitLab CI pipelines for tags

Ref. eng/recordflux/RecordFlux#1594
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c60a99444..d21cb20cc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,6 +22,7 @@ workflow:
     - if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS
       when: never
     - if: $CI_COMMIT_BRANCH
+    - if: $CI_COMMIT_TAG
 
 ##################
 # Initialization #