Skip to content

Issue 6237 - Enable Docker layer caching in GitHub Actions#6239

Merged
patchwork01 merged 5 commits into
developfrom
6237-docker-layer-caching
Dec 12, 2025
Merged

Issue 6237 - Enable Docker layer caching in GitHub Actions#6239
patchwork01 merged 5 commits into
developfrom
6237-docker-layer-caching

Conversation

@patchwork01

Copy link
Copy Markdown
Collaborator

Make sure you have checked all steps below.

Issue

  • My PR fully resolves the following issues. I've referenced an issue in the PR title, for example "Issue 1234 - My
    Feature". Note that before an issue is finished, you can still make a pull request by raising a separate issue
    for your progress.

Tests

  • My PR adds the following tests based on our test strategy OR does not need testing for this extremely good reason:
    • Running in GitHub Actions

Documentation

  • In case of new functionality, my PR adds documentation that describes how to use it, or I have linked to a
    separate issue for that below.
  • If I have added new Java code, I have added Javadoc that explains it following our conventions and style.
  • If I have added or removed any dependencies from the project, I have updated the NOTICES file.

@patchwork01 patchwork01 force-pushed the 6237-docker-layer-caching branch from d59b81e to 1f56a22 Compare December 11, 2025 15:10
@patchwork01 patchwork01 changed the base branch from develop to 6242-upgrade-docker-actions December 11, 2025 15:10
@patchwork01 patchwork01 added the pr-stacked-top A stacked pull request that we don't want to merge into its target until the target PR is merged label Dec 11, 2025
@patchwork01 patchwork01 marked this pull request as ready for review December 11, 2025 15:42
@patchwork01 patchwork01 added the needs-reviewer Pull requests that need a reviewer to be assigned label Dec 11, 2025
@m09526 m09526 removed the needs-reviewer Pull requests that need a reviewer to be assigned label Dec 11, 2025
Base automatically changed from 6242-upgrade-docker-actions to develop December 12, 2025 12:16
@patchwork01 patchwork01 merged commit 9c50129 into develop Dec 12, 2025
3 checks passed
@patchwork01 patchwork01 deleted the 6237-docker-layer-caching branch December 12, 2025 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-stacked-top A stacked pull request that we don't want to merge into its target until the target PR is merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Docker layer caching in GitHub Actions

2 participants