Skip to content

Update to 5.2.0#920

Merged
mmghannam merged 20 commits intomasterfrom
mt/release_520
Nov 14, 2024
Merged

Update to 5.2.0#920
mmghannam merged 20 commits intomasterfrom
mt/release_520

Conversation

@Opt-Mucca
Copy link
Collaborator

This MR updates the build process so that it now works on GitHub runners. It also updates the CHANGELOG and version numbers.

Let's merge this after the release goes through successfully.

@Opt-Mucca Opt-Mucca closed this Oct 30, 2024
@Opt-Mucca Opt-Mucca reopened this Oct 31, 2024
@Opt-Mucca Opt-Mucca mentioned this pull request Nov 14, 2024
@mmghannam mmghannam merged commit c746604 into master Nov 14, 2024
@Joao-Dionisio Joao-Dionisio deleted the mt/release_520 branch April 22, 2025 18:01
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.

3 participants