Skip to content

fix: repository owner for docker image#79

Open
artur-sannikov wants to merge 2 commits intomicrobiome:develfrom
artur-sannikov:fix/docker-gha
Open

fix: repository owner for docker image#79
artur-sannikov wants to merge 2 commits intomicrobiome:develfrom
artur-sannikov:fix/docker-gha

Conversation

@artur-sannikov
Copy link
Contributor

@artur-sannikov artur-sannikov commented Feb 17, 2026

I did not realize it, but the GitHub actor is the person, who is @TuomasBorman
in this case, and Docker action is trying to push to your repository, where
the image does not exist.

I think this should fix it.

@artur-sannikov
Copy link
Contributor Author

Shall we also run this Action at every PR to devel as a check that the image
still builds?

@TuomasBorman
Copy link
Contributor

Shall we also run this Action at every PR to devel as a check that the image still builds?

Yes, it should be run automatically and be aligned with the current pdf

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