chore: merge tools page refresh

This commit is contained in:
Abdessamad Derraz committed 2026-11-04 05:49:49 +01:00
commit 8848f3e6f6
12 files changed
+348 -95

No files matched your search

+4 -2
View File
@@ -8,7 +8,8 @@ sessions create theirs. A worktree elsewhere on disk and the automation
worktree (.cache/autorun/worktree) are never candidates. One is removed only
when no process runs in or holds a file of it, it is older than --hours, and
nothing tracked is modified in it except generated artifacts (database.json,
install/*.json, exports/*.json, README.md, mkdocs.yml). Branches are always
install/*.json, exports/*.json, README.md, CONTRIBUTING.md,
website/src/data/*.json). Branches are always
kept, so committed work stays reachable. A worktree with real uncommitted
code is listed, never removed.
@@ -39,7 +40,8 @@ from dataclasses import dataclass
from pathlib import Path
GENERATED = re.compile(
r"^(database\.json|install/.*\.json|exports/.*\.json|README\.md|mkdocs\.yml)$"
r"^(database\.json|install/.*\.json|exports/.*\.json|README\.md|CONTRIBUTING\.md"
r"|website/src/data/[^/]+\.json)$"
)
KEPT_TMP = ("acquire",)
AUTOMATION_WORKTREE = Path(".cache") / "autorun" / "worktree"
+4 -2
View File
@@ -678,7 +678,8 @@ def main() -> None:
"--skip-packs",
action="store_true",
help="Skip steps 4 to 6 except 4d: packs, manifests and their checks. "
"Steps 7 and 8 still rewrite README.md and docs/, add --skip-docs to "
"Steps 7 and 8 still rewrite README.md and the site pages in website/, "
"add --skip-docs to "
"stop after verify",
)
parser.add_argument(
@@ -734,7 +735,8 @@ def main() -> None:
# hold lasts until this process exits: taken step by step, it let another
# run purge the packs between the build and the integrity check, which
# then reported every platform SKIP and passed.
# database.json, install/, README.md and docs/ sit at fixed paths, so
# database.json, install/, README.md, CONTRIBUTING.md and website/ sit at
# fixed paths (artifacts.REPOSITORY_OUTPUTS), so
# every run holds them too: a run on a scratch --output-dir otherwise
# rewrote them beside the run on dist/.
held = contextlib.ExitStack()