From e29289ad97d4085458460a52ccb30da95b03481f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 13 Jan 2026 10:49:33 -0800
Subject: [PATCH] Add workflow_dispatch trigger to wip.yml

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

diff --git a/.github/workflows/wip.yml b/.github/workflows/wip.yml
index a183bb5bd..6579f61ea 100644
--- a/.github/workflows/wip.yml
+++ b/.github/workflows/wip.yml
@@ -3,6 +3,7 @@ name: Open Issues
 on:
   schedule:
     - cron: '0 0 */2 * *'
+  workflow_dispatch:
 
 env:
   BUILD_TYPE: Debug