Publish release candidate docs to GitHub Pages

Merge remote-tracking branch 'origin/release/13.1.0' into release/13.1.0 #24

Sign in to view logs

Triggered via push October 11, 2023 19:28

jiexi

release/13.1.0

Status Success

Total duration 51s

Artifacts –

publish-rc-docs.yml

on: push

Get release version

Publish docs to `rc-v13.1.0` directory of `gh-pages` branch / Publish docs to GitHub Pages