Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[CoinUtils] update to 2.11.11 #9081

Merged
merged 3 commits into from
Jul 16, 2024
Merged

Conversation

odow
Copy link
Contributor

@odow odow commented Jul 15, 2024

Replacement for #8067

@odow
Copy link
Contributor Author

odow commented Jul 15, 2024

Seems like we've hit this before: #837 (comment)

@imciner2
Copy link
Member

When I go to the commit associated with the release on GitHub I get a large banner warning.

image

Perhaps our git library doesn't like this case and can't find the commit because of it?

@imciner2
Copy link
Member

Also, are we replacing #8067 with this one now? That one seems to have also done some other changes on top of just the version update.

@odow
Copy link
Contributor Author

odow commented Jul 15, 2024

I just started this to see if I could fix the build under my fork without requiring @amontoison. I don't have a preference for which.

@odow
Copy link
Contributor Author

odow commented Jul 16, 2024

I changed to use ArchiveSource following #837 (comment). Works for me locally.

@odow
Copy link
Contributor Author

odow commented Jul 16, 2024

@amontoison happy?

@amontoison amontoison merged commit d57fb4f into JuliaPackaging:master Jul 16, 2024
18 checks passed
@amontoison
Copy link
Contributor

Thanks Oscar!

@odow odow deleted the od/coin-utils branch July 16, 2024 03:35
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