docs: record the first publish-wiki run in RC-010

Refs #20
Merge pull request 'MIL-003 Documentation and Publishing' (#25 ) from mil-003-documentation-and-publishing into main
2026-10-14 21:32:48 +08:00 · 2026-10-14 15:32:06 +02:00
1 changed files with 1 additions and 1 deletions
@@ -62,7 +62,7 @@ Go-with-conditions — Mandatory criteria 12 and 22 are not met: `main` is not p
 | Action | Owner | Due |
 | --- | --- | --- |
 | Protect `main` on the host so only reviewed pull requests change the wiki | S01 | 2026-10-26 |
-| Register a runner and confirm the first run on `main` publishes the wiki | S01 | 2026-10-26 |
+| Register a runner and confirm the first run on `main` publishes the wiki | S01 | Closed 2026-10-14: run 1582 on main (merge of PR 25) concluded `success`; the host wiki lists the 12 pages and the sidebar and footer |
 | Pin the nested `actions/checkout` to a commit SHA in the shared workflow (upstream) | S01 | 2026-10-26 |

 ---
Author	SHA1	Message	Date
Tirsvad	5f4d276b63	docs: record the first publish-wiki run in RC-010 Refs #20	2026-10-14 21:32:48 +08:00
Tirsvad	cc60aefca1	Merge pull request 'MIL-003 Documentation and Publishing' (#25 ) from mil-003-documentation-and-publishing into main TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 7s Details Publish wiki / publish-wiki (push) Successful in 16s Details Publish wiki / Publish wiki pages (push) Successful in 16s Details	2026-10-14 15:32:06 +02:00