Skip to content

Dockerize mujina sp#481

Merged
pmeulen merged 15 commits intomainfrom
dockerize_mujina_sp
May 5, 2025
Merged

Dockerize mujina sp#481
pmeulen merged 15 commits intomainfrom
dockerize_mujina_sp

Conversation

@crosmuller
Copy link
Copy Markdown
Contributor

@crosmuller crosmuller commented Apr 24, 2025

No description provided.

@crosmuller crosmuller requested a review from pmeulen April 24, 2025 12:59
@crosmuller crosmuller self-assigned this Apr 24, 2025
pmeulen
pmeulen approved these changes May 5, 2025
View reviewed changes
Copy link
Copy Markdown
Member

@pmeulen pmeulen left a comment •
edited
Loading

Choose a reason for hiding this comment

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

You cleaned up the deployment of the mujina-idp container too, I see. Because you divided the PR in commits I could follow what you were doing, otherwise it would have been to big.
I like the added mujina(-idp/-sp) tags.

@pmeulen pmeulen merged commit 8cc7140 into main May 5, 2025
2 of 4 checks passed
@baszoetekouw baszoetekouw deleted the dockerize_mujina_sp branch June 11, 2025 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@pmeulen pmeulen pmeulen approved these changes

Assignees

@crosmuller crosmuller

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@crosmuller @pmeulen