Repository navigation

Bump doc-builder workflow pin - #118

Merged

paulinebm merged 3 commits into

mainfrom

bump-doc-builder-pin

Oct 6, 2026

Commits on Oct 6, 2026
- Bump doc-builder pin to 9fc8a41 in build_documentation.yml
  
  paulinebm
  and
  claude
  committed
  324e836
- Bump doc-builder pin to 9fc8a41 in build_pr_documentation.yml
  
  paulinebm
  and
  claude
  committed
  ee7ab89
- Bump doc-builder pin to 9fc8a41 in upload_pr_documentation.yml
  
  paulinebm
  and
  claude
  committed
  8ca01e9