From a7fbddd049df8db7e53b633b9acf52e265545420 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 17 May 2025 17:24:14 -0700
Subject: [PATCH] Update prd.yml

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

diff --git a/.github/workflows/prd.yml b/.github/workflows/prd.yml
index c381058a9..f7c036eb7 100644
--- a/.github/workflows/prd.yml
+++ b/.github/workflows/prd.yml
@@ -2,6 +2,7 @@ name: genai pull request description
 on:
     pull_request:
         types: [ready_for_review, review_requested]
+    workflow_dispatch:
 concurrency:
     group: genai-pr-review-${{ github.workflow }}-${{ github.ref }}
     cancel-in-progress: true