From 6354aa686e46cc5ab59f7f92a4ac8c687a81ca76 Mon Sep 17 00:00:00 2001
From: Max Gautier <mg@max.gautier.name>
Date: Mon, 7 Jul 2025 06:57:25 +0000
Subject: [PATCH] Allow vagrant jobs to be triggered manually in Gitlab UI
 (#12349)

---
 .gitlab-ci/vagrant.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci/vagrant.yml b/.gitlab-ci/vagrant.yml
index d4b33bfd8..cc29a98e6 100644
--- a/.gitlab-ci/vagrant.yml
+++ b/.gitlab-ci/vagrant.yml
@@ -40,6 +40,8 @@ vagrant:
       when: on_success
     - if: $CI_PIPELINE_SOURCE == "schedule" && $CI_PIPELINE_SCHEDULE_DESCRIPTION == "daily-ci"
       when: on_success
+    - when: manual
+      allow_failure: true
   parallel:
     matrix:
       - TESTCASE: