Skip to content

Fix PomSettings and cleanup github JDK usage#657

Merged
stephenamar-db merged 5 commits intomasterfrom
fixl
Mar 23, 2026
Merged

Fix PomSettings and cleanup github JDK usage#657
stephenamar-db merged 5 commits intomasterfrom
fixl

Conversation

@stephenamar-db
Copy link
Collaborator

@stephenamar-db stephenamar-db commented Mar 23, 2026

  • PomSettings was incorrect (wrong license)
  • Fix up JVM flags in mill
  • remove the useless JDK25 actions - we never actually did anything we them - Mill was downloading JDK21 all along.

@stephenamar-db stephenamar-db changed the title Fix PomSettings to reflect reality Fix PomSettings and cleanup github JDK usage Mar 23, 2026
@stephenamar-db stephenamar-db force-pushed the fixl branch 2 times, most recently from 82c5aaf to e9c30eb Compare March 23, 2026 18:07
@stephenamar-db stephenamar-db merged commit b75b159 into master Mar 23, 2026
5 checks passed
@stephenamar-db stephenamar-db deleted the fixl branch March 23, 2026 18:13
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