From 8d9257b6970317c3c6750d1f115bca1097fe439d Mon Sep 17 00:00:00 2001
From: Tobias Kaupat <tobias.kaupat@lobaro.de>
Date: Sun, 18 Oct 2026 10:48:38 +0200
Subject: [PATCH] ci: remove temporary gate proof workflows

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 .github/workflows/tmp-gate-proof.yml | 25 -------------------------
 .github/workflows/tmp-proof-fail.yml | 10 ----------
 .github/workflows/tmp-proof-ok.yml   | 10 ----------
 3 files changed, 45 deletions(-)
 delete mode 100644 .github/workflows/tmp-gate-proof.yml
 delete mode 100644 .github/workflows/tmp-proof-fail.yml
 delete mode 100644 .github/workflows/tmp-proof-ok.yml

diff --git a/.github/workflows/tmp-gate-proof.yml b/.github/workflows/tmp-gate-proof.yml
deleted file mode 100644
index 10e61e8..0000000
--- a/.github/workflows/tmp-gate-proof.yml
+++ /dev/null
@@ -1,25 +0,0 @@
-name: tmp-gate-proof
-on:
-  push:
-    branches: [ "test/ci-test-suite" ]
-permissions:
-  contents: read
-jobs:
-  tests-red:
-    if: github.event_name != 'pull_request'
-    uses: ./.github/workflows/tmp-proof-fail.yml
-  publish-red:
-    needs: tests-red
-    if: ${{ !cancelled() && (github.event_name == 'pull_request' || needs.tests-red.result == 'success') }}
-    runs-on: ubuntu-latest
-    steps:
-      - run: echo PUBLISH-RED-RAN
-  tests-green:
-    if: github.event_name != 'pull_request'
-    uses: ./.github/workflows/tmp-proof-ok.yml
-  publish-green:
-    needs: tests-green
-    if: ${{ !cancelled() && (github.event_name == 'pull_request' || needs.tests-green.result == 'success') }}
-    runs-on: ubuntu-latest
-    steps:
-      - run: echo PUBLISH-GREEN-RAN
diff --git a/.github/workflows/tmp-proof-fail.yml b/.github/workflows/tmp-proof-fail.yml
deleted file mode 100644
index 9a0eae0..0000000
--- a/.github/workflows/tmp-proof-fail.yml
+++ /dev/null
@@ -1,10 +0,0 @@
-name: tmp-proof-fail
-on:
-  workflow_call:
-permissions:
-  contents: read
-jobs:
-  t:
-    runs-on: ubuntu-latest
-    steps:
-      - run: exit 1
diff --git a/.github/workflows/tmp-proof-ok.yml b/.github/workflows/tmp-proof-ok.yml
deleted file mode 100644
index 78e6e96..0000000
--- a/.github/workflows/tmp-proof-ok.yml
+++ /dev/null
@@ -1,10 +0,0 @@
-name: tmp-proof-ok
-on:
-  workflow_call:
-permissions:
-  contents: read
-jobs:
-  t:
-    runs-on: ubuntu-latest
-    steps:
-      - run: true