From a4e712343772aa2b33332e489ea8192092283cef Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 17 May 2025 17:34:43 -0700 Subject: [PATCH] Update prd.yml --- .github/workflows/prd.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/prd.yml b/.github/workflows/prd.yml index f7c036eb7..c381058a9 100644 --- a/.github/workflows/prd.yml +++ b/.github/workflows/prd.yml @@ -2,7 +2,6 @@ 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