Skip to content

Update Docker image name and secrets in workflow#38

Merged
fabnemEPFL merged 2 commits into
mainfrom
new_publish_docker
Apr 14, 2026
Merged

Update Docker image name and secrets in workflow#38
fabnemEPFL merged 2 commits into
mainfrom
new_publish_docker

Conversation

@fabnemEPFL
Copy link
Copy Markdown
Collaborator

This pull request updates the Docker workflow configuration to reflect a new Docker image name and changes the DockerHub credentials used throughout the workflow. The changes ensure that the correct image name and credential variables are used during the build and push process.

Docker image and workflow updates:

  • Changed the IMAGE_NAME environment variable and all references from mirage/mirage-git to mmirage/mmirage-git to use the new Docker image name. [1] [2]
  • Updated DockerHub credential references from DOCKER_USERNAME/DOCKER_PASSWORD to DOCKERHUB_USERNAME/DOCKERHUB_PASSWORD in login and image tagging steps. [1] [2]

@fabnemEPFL fabnemEPFL merged commit b956ef6 into main Apr 14, 2026
2 checks passed
@fabnemEPFL fabnemEPFL deleted the new_publish_docker branch April 14, 2026 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant