Skip to content

[polymake_oscarnumber] Rebuild with update libjulia_jll#11561

Merged
benlorenz merged 1 commit intoJuliaPackaging:masterfrom
lgoettgens:lg/polymake_oscarnumber
Jun 27, 2025
Merged

[polymake_oscarnumber] Rebuild with update libjulia_jll#11561
benlorenz merged 1 commit intoJuliaPackaging:masterfrom
lgoettgens:lg/polymake_oscarnumber

Conversation

@lgoettgens
Copy link
Copy Markdown
Contributor

@benlorenz benlorenz enabled auto-merge (squash) June 27, 2025 14:51
@benlorenz benlorenz merged commit 62c17bf into JuliaPackaging:master Jun 27, 2025
14 checks passed
@lgoettgens lgoettgens deleted the lg/polymake_oscarnumber branch July 14, 2025 15:05
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