Repository navigation

ci: drop the duplicate Pages deploy from Build & Test - #18

Merged

ronaldtse merged 2 commits into

mainfrom

ci/drop-duplicate-deploy

Oct 23, 2026

Merged

ci: drop the duplicate Pages deploy from Build & Test#18
ronaldtse merged 2 commits into
mainfrom
ci/drop-duplicate-deploy

Commits on Oct 23, 2026
- specs: deploy the RFC 5141-bis rewrite; the spec pages render again
  ronaldtse
  committed
  1022c1b
- ci: drop the duplicate Pages deploy from Build & Test
  ronaldtse
  committed
  96df66e