From d6b281a0be7fffac7c0d149eb77d9b2505e079c0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?=
 <sergio.sanchez.ramirez+git@bsc.es>
Date: Fri, 14 Jul 2023 12:20:14 +0200
Subject: [PATCH] Let trigger CI workflow manually

---
 .github/workflows/CI.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 709c6e46..8ab5ba99 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -15,6 +15,7 @@ on:
       - '**.jl'
       - 'docs/*'
       - '.github/workflows/CI.yml'
+  workflow_dispatch:
 concurrency:
   # Skip intermediate builds: always.
   # Cancel intermediate builds: only if it is a pull request build.