Skip to content

rename javadoc to documentation #17599

rename javadoc to documentation

rename javadoc to documentation #17599

Triggered via pull request October 4, 2023 15:58
Status Success
Total duration 27s
Artifacts

devserver.yml

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