Skip to content

Use JVM 17 for the build#368

Merged
joan38 merged 1 commit intomainfrom
mill
Nov 13, 2025
Merged

Use JVM 17 for the build#368
joan38 merged 1 commit intomainfrom
mill

Conversation

@joan38
Copy link
Copy Markdown
Owner

@joan38 joan38 commented Nov 13, 2025

No description provided.

@joan38 joan38 merged commit 82c6404 into main Nov 13, 2025
9 of 11 checks passed
@joan38 joan38 deleted the mill branch November 13, 2025 02:22
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.

1 participant