Skip to content

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
23 of 32 checks passed
@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