From 5f0d3f411817af651ae4df74455624b0ce09b4b0 Mon Sep 17 00:00:00 2001
From: Daniel Rosel <daniel@alves.world>
Date: Wed, 8 Apr 2026 12:09:28 +0200
Subject: [PATCH] graceful fail

---
 .github/workflows/latex.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/latex.yml b/.github/workflows/latex.yml
index a2b3a47..86d7912 100644
--- a/.github/workflows/latex.yml
+++ b/.github/workflows/latex.yml
@@ -9,6 +9,12 @@ on:
     paths:
       - 'paper/**'
       - '.github/**'
+  workflow_dispatch:
+    inputs:
+      skip_mirrors:
+        description: Skip Codex mirror generation (avoids API quota use)
+        type: boolean
+        default: false
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -24,8 +30,10 @@ jobs:
       - name: Prepare appendix code snapshot
         run: bash paper/concat_code.sh
 
+      # Repo variable SKIP_CODEX_MIRRORS=true skips on push/PR; workflow_dispatch can set skip_mirrors.
       - name: Generate mirrors with Codex
-        if: ${{ env.OPENAI_API_KEY != '' }}
+        if: ${{ env.OPENAI_API_KEY != '' && vars.SKIP_CODEX_MIRRORS != 'true' && (github.event_name != 'workflow_dispatch' || github.event.inputs.skip_mirrors != 'true') }}
+        continue-on-error: true
         uses: openai/codex-action@v1
         with:
           openai-api-key: ${{ env.OPENAI_API_KEY }}