Skip to content

rename javadoc to documentation #17597

rename javadoc to documentation

rename javadoc to documentation #17597

Triggered via pull request October 4, 2023 15:34
Status Success
Total duration 4m 20s
Artifacts

devserver.yml

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