Skip to content

[CI] Update docker-run GitHub action#116

Merged
pearzt merged 3 commits intotudasc:develfrom
jplehr:fix/update-docker-run-action-to-fork
Feb 17, 2026
Merged

[CI] Update docker-run GitHub action#116
pearzt merged 3 commits intotudasc:develfrom
jplehr:fix/update-docker-run-action-to-fork

Conversation

@jplehr
Copy link
Member

@jplehr jplehr commented Feb 14, 2026

The original action seems unmaintained and results in a version error because of a too-old base image regarding docker.

This updates the action to use to a fork of the original one which updates the docker base. In addition, it pins the version to a particular commit to not just bring-in whatever changes.

The original action seems unmaintained and results in a version error
because of a too-old base image regarding docker.

This updates the action to use to a fork of the original one which
updates the docker base. In addition, it pins the version to a
particular commit to not just bring-in whatever changes.
Copy link
Member

@pearzt pearzt left a comment

Choose a reason for hiding this comment

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

Thanks for tackling this. It seems to be the reason for all the CI failures recently. I find it somewhat weird that there is no builtin for this in GitHub CI, but apparently this is the way to do it. We could use a YAML anchor to avoid all the duplication in the file (given that's supported by GitHub?).

Also, I don't really understand why the CI is still failing for this PR.

@jplehr
Copy link
Member Author

jplehr commented Feb 16, 2026

Also, I don't really understand why the CI is still failing for this PR.

I would assume I simply missed one occurrence or was running from a slightly outdated devel branch. I think this was done from my fork, which might have been out-of-date with upstream. I'll check+update tonight.

Copy link
Member Author

Choose a reason for hiding this comment

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

This is the missed instance.

@jplehr jplehr requested a review from pearzt February 16, 2026 14:53
@pearzt pearzt merged commit d831bf9 into tudasc:devel Feb 17, 2026
3 checks passed
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.

2 participants

Comments