Skip to content

chore(Jenkinsfile): Maven cache improvements#6978

Merged
dduportal merged 3 commits into
masterfrom
dduportal-patch-1
Jun 23, 2026
Merged

chore(Jenkinsfile): Maven cache improvements#6978
dduportal merged 3 commits into
masterfrom
dduportal-patch-1

Conversation

@dduportal

@dduportal dduportal commented Jun 19, 2026

Copy link
Copy Markdown
Contributor

This PR introduces a few improvements (1 commit per improvement) in the Maven cache management:

@alecharp alecharp left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess the second deleted patch is to reduce the build time for testing?

Comment thread Jenkinsfile Outdated
Comment thread Jenkinsfile Outdated
@dduportal
dduportal force-pushed the dduportal-patch-1 branch 2 times, most recently from 8a35d05 to 77b1c5f Compare June 23, 2026 07:45
@dduportal dduportal changed the title chore(Jenkinsfile) move Maven caching to pipeline library chore(Jenkinsfile): Maven cache improvements Jun 23, 2026
@dduportal
dduportal force-pushed the dduportal-patch-1 branch from 77b1c5f to ffebb9b Compare June 23, 2026 07:48
@dduportal dduportal added the chore Reduces future maintenance label Jun 23, 2026
@dduportal
dduportal requested a review from alecharp June 23, 2026 07:51
@dduportal
dduportal marked this pull request as ready for review June 23, 2026 07:51
@dduportal
dduportal requested a review from a team as a code owner June 23, 2026 07:51
@dduportal
dduportal force-pushed the dduportal-patch-1 branch from ffebb9b to 8479e80 Compare June 23, 2026 07:57
…ay (to debug Maven caching)

Signed-off-by: Damien Duportal <damien.duportal@gmail.com>
Avoid issues such as #6959

Signed-off-by: Damien Duportal <damien.duportal@gmail.com>
@dduportal
dduportal force-pushed the dduportal-patch-1 branch from 8479e80 to eccbec2 Compare June 23, 2026 07:58
@dduportal
dduportal merged commit 324687c into master Jun 23, 2026
4 checks passed
@dduportal
dduportal deleted the dduportal-patch-1 branch June 23, 2026 10:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Reduces future maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants