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