From 7f3261d01e5feacf0464f30f13d4496fdaf95aa3 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Fri, 14 Jun 2024 17:05:11 -0600
Subject: [PATCH] Adding workflow_dispatch event triggers

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

diff --git a/.github/workflows/lido-ci.yml b/.github/workflows/lido-ci.yml
index 1ff7f9f5..16aa9be5 100644
--- a/.github/workflows/lido-ci.yml
+++ b/.github/workflows/lido-ci.yml
@@ -1,6 +1,7 @@
 ---
   name: "Test Proofs"
   on:
+    workflow_dispatch:
     push:
       branches:
         - develop