Skip to content

Issue 6242 - Upgrade Docker actions#6243

Merged
patchwork01 merged 5 commits into
developfrom
6242-upgrade-docker-actions
Dec 12, 2025
Merged

Issue 6242 - Upgrade Docker actions#6243
patchwork01 merged 5 commits into
developfrom
6242-upgrade-docker-actions

Conversation

@patchwork01

@patchwork01 patchwork01 commented Dec 11, 2025

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:
    • Covered by existing workflows

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 marked this pull request as ready for review December 11, 2025 15:07
@patchwork01 patchwork01 added the needs-reviewer Pull requests that need a reviewer to be assigned label Dec 11, 2025
@patchwork01 patchwork01 changed the title Issue 6237 - Upgrade Docker actions Issue 6242 - Upgrade Docker actions Dec 11, 2025
@patchwork01 patchwork01 added the pr-stacked-middle A stacked pull request that must wait until the target PR is merged, and is also a base for stacking 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 6240-docker-option-passthrough to develop December 12, 2025 10:59
@patchwork01 patchwork01 added pr-base-for-stacking Base for stacked pull requests (a dependency for others, where this PR's branch will be the base) and removed pr-stacked-middle A stacked pull request that must wait until the target PR is merged, and is also a base for stacking labels Dec 12, 2025
@patchwork01 patchwork01 merged commit 1b1a4a7 into develop Dec 12, 2025
13 of 14 checks passed
@patchwork01 patchwork01 deleted the 6242-upgrade-docker-actions 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-base-for-stacking Base for stacked pull requests (a dependency for others, where this PR's branch will be the base)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Upgrade Docker GitHub Actions

2 participants