Skip to content

julia 1.12.5#266896

Closed
BrewTestBot wants to merge 1 commit intomainfrom
bump-julia-1.12.5
Closed

julia 1.12.5#266896
BrewTestBot wants to merge 1 commit intomainfrom
bump-julia-1.12.5

Conversation

@BrewTestBot
Copy link
Contributor

Created by brew bump


Created with brew bump-formula-pr.

@github-actions github-actions bot added perl Perl use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Feb 11, 2026
@GunniBusch GunniBusch mentioned this pull request Feb 11, 2026
7 tasks
@chenrui333 chenrui333 closed this Feb 11, 2026
@chenrui333 chenrui333 added the superseded PR was replaced by another PR label Feb 11, 2026
@github-actions github-actions bot deleted the bump-julia-1.12.5 branch February 11, 2026 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bump-formula-pr PR was created using `brew bump-formula-pr` perl Perl use is a significant feature of the PR or issue superseded PR was replaced by another PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants