diff --git a/.gitea/workflows/doxygen-pages.yml b/.gitea/workflows/doxygen-pages.yml index 4030d47..7eac994 100644 --- a/.gitea/workflows/doxygen-pages.yml +++ b/.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 -# filter script, doc/**/*.md, README.md, or this workflow file. Also -# manually triggerable via workflow_dispatch. - +# ─── DISABLED 2026-05-26 ─────────────────────────────────────────────────── +# The auto-publish trigger is intentionally disabled. Background: the +# `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: diff --git a/.gitea/workflows/perf-compile-time.yml b/.gitea/workflows/perf-compile-time.yml index 794a187..0d20109 100644 --- a/.gitea/workflows/perf-compile-time.yml +++ b/.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: