Skip to content

Conversation

@BillSenior
Copy link
Contributor

No description provided.

@BillSenior BillSenior changed the title GRIDEDIT-1892 Change boost download url to github GRIDEDIT-1892 Improve boost library download Jun 12, 2025
@veenstrajelmer veenstrajelmer self-requested a review June 12, 2025 12:05
Copy link
Collaborator

@veenstrajelmer veenstrajelmer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great idea!

@BillSenior BillSenior merged commit 5b0d4d6 into main Jun 12, 2025
14 checks passed
@BillSenior BillSenior deleted the feature/GRIDEDIT-1892_improve_boost_download branch June 12, 2025 13:08
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