From 638921457d3d7a49b5f000a2029e45dcdcfb2b4d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Jun 2025 07:59:31 -0700
Subject: [PATCH] Create dedup.yml

---
 .github/workflows/dedup.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/dedup.yml

diff --git a/.github/workflows/dedup.yml b/.github/workflows/dedup.yml
new file mode 100644
index 000000000..1cc3481f0
--- /dev/null
+++ b/.github/workflows/dedup.yml
@@ -0,0 +1,19 @@
+name: GenAI Find Duplicate Issues
+on:
+  issues:
+    types: [opened, reopened]
+permissions:
+  models: read
+  issues: write
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.issue.number }}
+  cancel-in-progress: true
+jobs:
+  genai-issue-dedup:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Run action-issue-dedup Action
+        uses: pelikhan/action-genai-issue-dedup@v0
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          github_issue: ${{ github.event.issue.number }}