fix(docs): deploy GitHub Pages via the Actions source#13

Merged

OsherElhadad merged 2 commits into

mainfrom

fix/pages-actions-deploy

Jul 21, 2026

Commits on Jul 21, 2026

fix(docs): deploy Pages via GitHub Actions source

Osher-Elhadad
authored and
Osher-Elhadad
committed
fix(docs): correct Bob section link path for --strict build

Osher-Elhadad
authored and
Osher-Elhadad
committed