From 75fe46b8c09f0e08d40651ab84a62d5e3d92d7b9 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