From 1f510af13795538065e7f76853111dd49f8719cb Mon Sep 17 00:00:00 2001
From: Vincent Jicquel <jicquel@adacore.com>
Date: Fri, 26 Jan 2024 16:14:25 +0100
Subject: [PATCH] Allow web and scheduled pipeline triggers

Useful for several use cases:
- Daily runs to track pipeline errors related to external events
  (python updates, for example)
- The user might want to run a pipeline again to ensure that the
  modification does not involve instabilities or because a Depends-On
  MR has been modified in the meantime

no-issue-check

Change-Id: I2c904263c6bc32729c8aaa07cdd026784969b790
---
 .gitlab-ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6834bcc0..23c99fe5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,6 +2,11 @@ workflow:
   rules:
     - if: $CI_PIPELINE_SOURCE == "merge_request_event"
       when: always
+    - if: $CI_PIPELINE_SOURCE == "schedule"
+      when: always
+    - if: $CI_PIPELINE_SOURCE == "web"
+      when: always
+    - when: never
 
 variables:
    ANOD_DEFAULT_SANDBOX_DIR: /it/wave