Skip to content

chore(deps): update docker dependencies#7285

Merged
ferrarimarco merged 1 commit intomainfrom
update-docker-deps
Dec 15, 2025
Merged

chore(deps): update docker dependencies#7285
ferrarimarco merged 1 commit intomainfrom
update-docker-deps

Conversation

@ferrarimarco
Copy link
Copy Markdown
Collaborator

Update docker images deps manually because Dependabot is failing.

Close #7244

Readiness checklist

In order to have this pull request merged, complete the following tasks.

Pull request author tasks

  • I checked that all workflows return a success.
  • I included all the needed documentation for this change.
  • I provided the necessary tests.
  • I squashed all the commits into a single commit.
  • I followed the
    Conventional Commit v1.0.0 spec.
  • I wrote the necessary upgrade instructions in the
    upgrade guide.
  • If this pull request is about and existing issue, I added the
    Fix #ISSUE_NUMBER or Close #ISSUE_NUMBER text to the description of
    the pull request.

Super-linter maintainer tasks

  • Label as breaking if this change breaks compatibility with the previous
    released version.
  • Label as either: automation, bug, documentation, enhancement,
    infrastructure.
  • Add the pull request to a milestone, eventually creating one, that matches
    with the version that release-please proposes in the
    preview-release-notes CI job.

@ferrarimarco ferrarimarco added this to the 8.3.1 milestone Dec 15, 2025
Update docker images deps manually because Dependabot is failing.

Close #7244
@ferrarimarco ferrarimarco merged commit f4d16d3 into main Dec 15, 2025
176 checks passed
@ferrarimarco ferrarimarco deleted the update-docker-deps branch December 15, 2025 12:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update editorconfig-checker to v3.6.0

1 participant