Skip to content

Conversation

@mihaic
Copy link
Member

@mihaic mihaic commented Nov 16, 2024

No description provided.

@mihaic mihaic enabled auto-merge November 16, 2024 18:11
@davidt0x
Copy link
Contributor

Hey @mihaic, the way I have it setup I think it should trigger if you make a release from github. I think this adds the tag as well.

@mihaic
Copy link
Member Author

mihaic commented Nov 17, 2024

OK, let's use GitHub releases.

@mihaic mihaic closed this Nov 17, 2024
auto-merge was automatically disabled November 17, 2024 04:58

Pull request was closed

@mihaic mihaic deleted the cd-on-push branch November 17, 2024 04:58
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