Skip to content

Simplify our maven-javadoc-plugin configuration, and move both it and maven-source-plugin to the default phase (which is package). #2310

Simplify our maven-javadoc-plugin configuration, and move both it and maven-source-plugin to the default phase (which is package).

Simplify our maven-javadoc-plugin configuration, and move both it and maven-source-plugin to the default phase (which is package). #2310

Triggered via pull request October 11, 2023 15:49
Status Success
Total duration 21m 29s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: test
Publish snapshot
0s
Publish snapshot
Generate latest docs
0s
Generate latest docs
Fit to window
Zoom out
Zoom in