Skip to content

rename javadoc to documentation #17598

rename javadoc to documentation

rename javadoc to documentation #17598

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

devserver.yml

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