Skip to content

Use REST API to trigger RTD build. #35

Use REST API to trigger RTD build.

Use REST API to trigger RTD build. #35

Triggered via pull request February 11, 2025 07:55
@hcho3hcho3
synchronize #11216
trigger-rtd
Status Success
Total duration 11m 26s
Artifacts

doc.yml

on: pull_request
Build docs for JVM packages
9m 4s
Build docs for JVM packages
Trigger Read The Docs build.
9s
Trigger Read The Docs build.
Fit to window
Zoom out
Zoom in