ci: disable auto-trigger on doxygen-pages.yml + perf-compile-time.yml

Both workflows used `push: branches: [main]` and have been firing on
every merge to main since v0.10.0 landed.  Recent runs failed:

  * `doxygen-pages.yml` runs #492/#493/#494 — failed (pages branch
    went into an inconsistent state during the cleanup sequence;
    the workflow's HTTPS push couldn't recover, even though manual
    SSH push from a developer machine could).
  * `perf-compile-time.yml` never ran a clean baseline because the
    same upstream CI-container issue blocks it.

While we work through the root cause, both workflows are restricted
to `workflow_dispatch` (manual only).  Effect:

  * pages-branch stays at its last known-good content; merges to
    main no longer trigger a (currently-failing) republish attempt
  * no false-red CI badges on PRs / commits
  * either workflow can still be fired manually via the Gitea
    Actions UI when needed

Re-enable trick: each file has its old `push:` block commented out;
uncomment when the underlying CI push issue is fixed.

`doc-build.yaml` (Doxygen warning-stats, `continue-on-error: true`)
is unaffected — it does not push anywhere and is intentionally
informational.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

.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: