From 8d67feef9fb2998e783178ca1a229728b1f68c9a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 17 May 2025 17:39:37 -0700 Subject: [PATCH] Update prd.yml --- .github/workflows/prd.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/prd.yml b/.github/workflows/prd.yml index c381058a9..4db199c0d 100644 --- a/.github/workflows/prd.yml +++ b/.github/workflows/prd.yml @@ -1,7 +1,7 @@ name: genai pull request description on: pull_request: - types: [ready_for_review, review_requested] + types: [ready_for_review, review_requested, openend] concurrency: group: genai-pr-review-${{ github.workflow }}-${{ github.ref }} cancel-in-progress: true