Skip to content

GitHub registry#287

Merged
wederbn merged 5 commits into
ustuttfrom
feature/github-registry
Mar 24, 2023
Merged

GitHub registry#287
wederbn merged 5 commits into
ustuttfrom
feature/github-registry

Conversation

@PhilWun

@PhilWun PhilWun commented Mar 24, 2023

Copy link
Copy Markdown

This PR replaces Docker Hub with the GitHub registry in the GitHub workflow and updates the used GitHub actions.

Needed for OpenTOSCA/opentosca-docker#57

@PhilWun PhilWun requested review from v-yussupov and wederbn March 24, 2023 10:46

@wederbn wederbn left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM

@v-yussupov v-yussupov left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

LGTM

@wederbn wederbn merged commit 4fb0884 into ustutt Mar 24, 2023
@wederbn wederbn deleted the feature/github-registry branch March 24, 2023 11:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants