Skip to content
This repository has been archived by the owner on Oct 31, 2024. It is now read-only.

ci: push docker image on release #27

Merged
merged 1 commit into from
Sep 12, 2023

Conversation

sebastiendan
Copy link
Member

Description

This PR adds a CI trigger for the docker build-push workflow so that we get docker images for releases

PR Checklist:

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added or updated tests that comprehensively prove my change is effective or that my feature works

@sebastiendan sebastiendan requested a review from a team as a code owner September 12, 2023 08:19
@sebastiendan sebastiendan self-assigned this Sep 12, 2023
@sebastiendan sebastiendan requested a review from a team as a code owner September 12, 2023 08:19
@sebastiendan sebastiendan merged commit a57719f into develop Sep 12, 2023
4 of 6 checks passed
@sebastiendan sebastiendan deleted the ci/push-docker-image-on-release branch September 12, 2023 08:44
atanmarko pushed a commit that referenced this pull request Sep 15, 2023
atanmarko pushed a commit that referenced this pull request Oct 9, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants