Skip to content

Fix rendering of docker.io image tag in GitHub action config#1293

Merged
simu merged 1 commit intomasterfrom
fix/docker-build
Feb 19, 2026
Merged

Fix rendering of docker.io image tag in GitHub action config#1293
simu merged 1 commit intomasterfrom
fix/docker-build

Conversation

@simu
Copy link
Member

@simu simu commented Feb 19, 2026

Fixes #1292

Checklist

  • Keep pull requests small so they can be easily reviewed.
  • Update the documentation.
  • Update tests.
  • Categorize the PR by setting a good title and adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency, internal
    as they show up in the changelog
  • Link this PR to related issues.

@simu simu requested a review from a team February 19, 2026 14:07
@simu simu requested a review from a team as a code owner February 19, 2026 14:07
@simu simu added the ignore Ignore PR in changelog label Feb 19, 2026
Copy link
Contributor

@HappyTetrahedron HappyTetrahedron left a comment

Choose a reason for hiding this comment

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

Oh damn 🙈

@simu simu changed the title Fix rendering of docker.io image tag Fix rendering of docker.io image tag in GitHub action config Feb 19, 2026
@simu simu enabled auto-merge February 19, 2026 15:19
@simu simu merged commit 094ee4e into master Feb 19, 2026
20 checks passed
@simu simu deleted the fix/docker-build branch February 19, 2026 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore Ignore PR in changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments