From 860d051d28df59de98063066a5c0f1aa1b080079 Mon Sep 17 00:00:00 2001
From: Terry Cojean <terry.cojean@kit.edu>
Date: Tue, 23 Jun 2020 11:12:28 +0200
Subject: [PATCH] Run the full CI pipeline for this branch.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 11aa93e3dfc..7016f0b1d5b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -743,6 +743,7 @@ gh-pages:
     refs:
       - develop
       - master
+      - release/1.2.0
       - tags
     variables:
       - $RUN_CI_TAG
@@ -764,6 +765,7 @@ threadsanitizer:
     refs:
       - master
       - develop
+      - release/1.2.0
       - tags
     variables:
       - $RUN_CI_TAG
@@ -784,6 +786,7 @@ leaksanitizer:
     refs:
       - master
       - develop
+      - release/1.2.0
       - tags
     variables:
       - $RUN_CI_TAG
@@ -804,6 +807,7 @@ addresssanitizer:
     refs:
       - master
       - develop
+      - release/1.2.0
       - tags
     variables:
       - $RUN_CI_TAG
@@ -824,6 +828,7 @@ leaksanitizer:
     refs:
       - master
       - develop
+      - release/1.2.0
       - tags
     variables:
       - $RUN_CI_TAG
@@ -846,6 +851,7 @@ undefinedsanitizer:
     refs:
       - master
       - develop
+      - release/1.2.0
       - tags
     variables:
       - $RUN_CI_TAG