Skip to content
Dev Server

rename javadoc to documentation #17601

Sign in to view logs

rename javadoc to documentation

rename javadoc to documentation #17601

Triggered via pull request October 4, 2023 21:36
@DanielFranDanielFran
closed #23742
mshima:skip_ci-documentation
Status Success
Total duration 27m 20s
Artifacts –

devserver.yml

on: pull_request
build-matrix
12s
build-matrix
Matrix: applications
check-dev-server
4s
check-dev-server
Fit to window
Zoom out
Zoom in