From 67020550cd971a4119f27a991fb4a40b3aef0bcb Mon Sep 17 00:00:00 2001
From: Guillaume-Helbecque <helbecque.guillaume@gmail.com>
Date: Thu, 5 Jun 2025 18:57:24 +0200
Subject: [PATCH] add `workflow_dispatch`
---
.github/workflows/compilation.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/compilation.yml b/.github/workflows/compilation.yml
index 99a5f17..b3a3a5f 100644
--- a/.github/workflows/compilation.yml
+++ b/.github/workflows/compilation.yml
@@ -5,6 +5,7 @@ on:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
+ workflow_dispatch:
jobs:
build:
--
GitLab