Skip to content

Remove merge_group from deployment workflow#18

Merged
swaldmann merged 3 commits into
mainfrom
undeploy
Aug 5, 2025
Merged

Remove merge_group from deployment workflow#18
swaldmann merged 3 commits into
mainfrom
undeploy

Conversation

@swaldmann
Copy link
Copy Markdown
Contributor

@swaldmann swaldmann commented Aug 5, 2025

Remove merge_group – don't want to deploy on PRs.

@swaldmann swaldmann marked this pull request as ready for review August 5, 2025 13:54
@swaldmann swaldmann changed the title Deploy to HANA with undeploy.json Remove merge_group from deployment workflow Aug 5, 2025
@swaldmann swaldmann merged commit c6fc7ad into main Aug 5, 2025
3 checks passed
@swaldmann swaldmann deleted the undeploy branch August 5, 2025 13:55
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