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

ci: 🎡 build and push the docker images only on push to main #717

Merged

severo merged 1 commit into main from build-all-docker-images-on-push-to-main

Jan 27, 2023

Collaborator

severo commented Jan 27, 2023

See #712


          ci: 🎡 build and push the docker images only on push to main

ae186da

severo merged commit c6c4872 into main

severo deleted the build-all-docker-images-on-push-to-main branch

January 27, 2023 22:32

severo mentioned this pull request

Fix CI for PR from a fork #712

Closed

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

Labels

None yet