From 070331e505b86ad7e9c50baa3dda8b2f918e2f28 Mon Sep 17 00:00:00 2001
From: Eduardo Lauer <edulauer@hotmail.com>
Date: Tue, 3 Dec 2024 19:04:53 -0300
Subject: [PATCH] add workflow_dispatch

---
 .github/workflows/push-pr-devel.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push-pr-devel.yml b/.github/workflows/push-pr-devel.yml
index 502d04c08c..ccbd304013 100644
--- a/.github/workflows/push-pr-devel.yml
+++ b/.github/workflows/push-pr-devel.yml
@@ -1,6 +1,7 @@
 name: CI
 
 on:
+  workflow_dispatch:
   pull_request:
     types:
       - opened