From 1d3bdd6e43a9fa5ff13e1052450210f68bf76562 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 8 Jan 2026 20:01:35 -0800
Subject: [PATCH] remove stale actions

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/dedup.yml    | 19 -------------------
 .github/workflows/labeller.yml | 21 ---------------------
 .github/workflows/prd.yml      | 19 -------------------
 3 files changed, 59 deletions(-)
 delete mode 100644 .github/workflows/dedup.yml
 delete mode 100644 .github/workflows/labeller.yml
 delete mode 100644 .github/workflows/prd.yml

diff --git a/.github/workflows/dedup.yml b/.github/workflows/dedup.yml
deleted file mode 100644
index 1cc3481f0..000000000
--- a/.github/workflows/dedup.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-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 }}
diff --git a/.github/workflows/labeller.yml b/.github/workflows/labeller.yml
deleted file mode 100644
index 240879a48..000000000
--- a/.github/workflows/labeller.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-name: GenAI Issue Labeller
-on:
-  issues:
-    types: [opened, reopened, edited]
-permissions:
-  contents: read
-  issues: write
-  models: read
-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.issue.number }}
-  cancel-in-progress: true
-jobs:
-  genai-issue-labeller:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v6
-      - uses: pelikhan/action-genai-issue-labeller@v0
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          github_issue: ${{ github.event.issue.number }}
-          debug: "*"
diff --git a/.github/workflows/prd.yml b/.github/workflows/prd.yml
deleted file mode 100644
index c57bd267d..000000000
--- a/.github/workflows/prd.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-name: GenAI Pull Request Descriptor
-on:
-  pull_request:
-    types: [opened, reopened, ready_for_review]
-permissions:
-  contents: read
-  pull-requests: write
-  models: read
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-jobs:
-  generate-pull-request-description:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v6
-      - uses: pelikhan/action-genai-pull-request-descriptor@v0
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}