From cad01e4f811b2a7bc141dd0ec5285cdc6b8e84c6 Mon Sep 17 00:00:00 2001
From: Tobias Kaupat <tobias.kaupat@lobaro.de>
Date: Sun, 18 Oct 2026 10:47:44 +0200
Subject: [PATCH] ci: TEMPORARY gate proof workflows (removed in next commit)

---
 .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 insertions(+)
 create mode 100644 .github/workflows/tmp-gate-proof.yml
 create mode 100644 .github/workflows/tmp-proof-fail.yml
 create mode 100644 .github/workflows/tmp-proof-ok.yml

diff --git a/.github/workflows/tmp-gate-proof.yml b/.github/workflows/tmp-gate-proof.yml
new file mode 100644
index 0000000..10e61e8
--- /dev/null
+++ b/.github/workflows/tmp-gate-proof.yml
@@ -0,0 +1,25 @@
+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
new file mode 100644
index 0000000..9a0eae0
--- /dev/null
+++ b/.github/workflows/tmp-proof-fail.yml
@@ -0,0 +1,10 @@
+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
new file mode 100644
index 0000000..78e6e96
--- /dev/null
+++ b/.github/workflows/tmp-proof-ok.yml
@@ -0,0 +1,10 @@
+name: tmp-proof-ok
+on:
+  workflow_call:
+permissions:
+  contents: read
+jobs:
+  t:
+    runs-on: ubuntu-latest
+    steps:
+      - run: true