Skip to content

Fixes for deploy scripts to include frontend service#887

Merged
javuto merged 3 commits into
developfrom
fixes-deploy-script
Jul 10, 2026
Merged

Fixes for deploy scripts to include frontend service#887
javuto merged 3 commits into
developfrom
fixes-deploy-script

Conversation

@javuto

@javuto javuto commented Jul 10, 2026

Copy link
Copy Markdown
Collaborator

Small fixes to provision.sh for the frontend service

@javuto javuto added deployment Deployment related issues 🚧 bugfix Fix for an existing bug labels Jul 10, 2026
@javuto javuto merged commit c196e3e into develop Jul 10, 2026
7 checks passed
@javuto javuto deleted the fixes-deploy-script branch July 10, 2026 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🚧 bugfix Fix for an existing bug deployment Deployment related issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant