Skip to content

Chore: basic cleanup and docker image deployment#11

Merged
mkermani144 merged 11 commits intodevfrom
chore/deployment
Mar 15, 2025
Merged

Chore: basic cleanup and docker image deployment#11
mkermani144 merged 11 commits intodevfrom
chore/deployment

Conversation

@mkermani144
Copy link
Collaborator

@mkermani144 mkermani144 commented Mar 15, 2025

A basic cleanup, and a Github action for deploying a docker image to ghcr.

@mkermani144 mkermani144 changed the base branch from dev to feat/history March 15, 2025 12:37
@mkermani144 mkermani144 reopened this Mar 15, 2025
@mkermani144
Copy link
Collaborator Author

UI Deployment process

sepehr2github
sepehr2github previously approved these changes Mar 15, 2025
Copy link

@sepehr2github sepehr2github left a comment

Choose a reason for hiding this comment

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

LGTM 🚀

Base automatically changed from feat/history to dev March 15, 2025 18:41
@mkermani144 mkermani144 dismissed sepehr2github’s stale review March 15, 2025 18:41

The base branch was changed.

@mkermani144 mkermani144 merged commit 3fe931f into dev Mar 15, 2025
@mkermani144 mkermani144 deleted the chore/deployment branch March 15, 2025 18:43
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.

2 participants