New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(ci): push geonetwork-ui-tools-pipelines docker image to docker hub #744

Merged

jahow merged 1 commit into main from build-pipelines-docker-image

Dec 30, 2023

Collaborator

jahow commented Dec 30, 2023

Fixes #716


          feat(ci): push pipelines docker image to docker hub

a087eb5

Contributor

github-actions bot commented Dec 30, 2023 •

edited by jahow

Loading

Affected libs: , Affected apps: ,

🚀 Build and deploy storybook and demo on GitHub Pages
📦 Build and push affected docker images

jahow merged commit ebadd92 into main

6 checks passed

jahow deleted the build-pipelines-docker-image branch

December 30, 2023 21:26

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet