Skip to content

chore: Reporting size of the jars in GitHub comments#1196

Merged
jeromevdl merged 11 commits intomainfrom
report-artifacts-size
Sep 27, 2023

Commits

Commits on Sep 27, 2023