Build docs

Merge `release/v1.3.0` to `develop` #11536

Triggered via pull request January 21, 2025 00:09

synchronize #5402

merge/release/v1.3.0

Status Success

Total duration 21m 41s

Billable time 22m

Artifacts 1

build-docs.yml

on: pull_request

Produced during runtime

Name	Size
docs	899 MB