Merge pull request 'ci: disable auto-trigger on doxygen-pages + perf workflows' (#21) from ci/disable-auto-pages-workflow into main

.gitea/workflows/doxygen-pages.yml

@@ -1,4 +1,4 @@
-name: Doxygen → Codeberg Pages
+name: Doxygen → Codeberg Pages (manual-only)
 
 # Auto-publish Doxygen HTML to https://tmoussa.codeberg.page/ConformalLabpp/
 # every time the public API or docs source changes on main.
@@ -6,22 +6,37 @@ name: Doxygen → Codeberg Pages
 # Pattern: mirrors mirror-to-codeberg.yml — reuses the existing
 # CODEBERG_TOKEN secret + HTTPS push.  No new secret setup required.
 #
-# Trigger: push to main that touches code/include/**, Doxyfile, the
+# ─── DISABLED 2026-05-26 ───────────────────────────────────────────────────
-# filter script, doc/**/*.md, README.md, or this workflow file.  Also
+# The auto-publish trigger is intentionally disabled.  Background: the
-# manually triggerable via workflow_dispatch.
+# `pages` branch on codeberg went into an inconsistent state during the
-
+# v0.10.0 PR-merge sequence (the cleanup deleted preview branches and the
+# resulting force-pushes left the pages branch unreachable for the CI's
+# HTTPS push).  Until the underlying push step is verified to work cleanly
+# from CI again, the workflow is restricted to `workflow_dispatch` only —
+# meaning: manual republication via the Gitea Actions UI, no automatic
+# overwrite of the manually-curated pages branch on every main push.
+#
+# The pages branch currently serves the v6 reviewer hub HTML
+# (`doc/reviewer/hub.html` source-of-truth) plus the Doxygen output at
+# /doxygen.html.  Both are stable and survive merges as long as nothing
+# pushes to the pages branch.
+#
+# To re-enable auto-publish later: uncomment the `push:` block below, run
+# a manual dispatch first to verify, then watch a normal merge.
+#
+# on:
+#   push:
+#     branches:
+#       - main
+#     paths:
+#       - "code/include/**"
+#       - "Doxyfile"
+#       - "scripts/doxygen-md-filter.sh"
+#       - "doc/**/*.md"
+#       - "README.md"
+#       - "CLAUDE.md"
+#       - ".gitea/workflows/doxygen-pages.yml"
 on:
-  push:
-    branches:
-      - main
-    paths:
-      - "code/include/**"
-      - "Doxyfile"
-      - "scripts/doxygen-md-filter.sh"
-      - "doc/**/*.md"
-      - "README.md"
-      - "CLAUDE.md"
-      - ".gitea/workflows/doxygen-pages.yml"
   workflow_dispatch: {}
 
 jobs:

.gitea/workflows/perf-compile-time.yml

@@ -20,15 +20,25 @@ name: Compile-time perf bench
 # correctness gate.  Pollutes the summary with timings but does not
 # block merges.
 
+# ─── DISABLED auto-trigger 2026-05-26 ──────────────────────────────────────
+# Same precaution as `.gitea/workflows/doxygen-pages.yml`: while we work
+# through the pages-branch + CI-push issue surfaced during the v0.10.0
+# merge, every workflow that auto-fires on main is restricted to
+# `workflow_dispatch` only.  Manual reruns from the Gitea UI continue
+# to work; transient failures no longer clutter the run history.
+#
+# To re-enable: uncomment the `push:` block below.
+#
+# on:
+#   push:
+#     branches:
+#       - main
+#     paths:
+#       - "code/CMakeLists.txt"
+#       - "code/tests/**/CMakeLists.txt"
+#       - "code/include/**"
+#       - ".gitea/workflows/perf-compile-time.yml"
 on:
-  push:
-    branches:
-      - main
-    paths:
-      - "code/CMakeLists.txt"
-      - "code/tests/**/CMakeLists.txt"
-      - "code/include/**"
-      - ".gitea/workflows/perf-compile-time.yml"
   workflow_dispatch: {}
 
 jobs: