Skip to content

[build] Use Mill 1.1.1-6-480a23#5196

Merged
jackkoenig merged 1 commit intomainfrom
bump-mill
Feb 6, 2026
Merged

[build] Use Mill 1.1.1-6-480a23#5196
jackkoenig merged 1 commit intomainfrom
bump-mill

Conversation

@jackkoenig
Copy link
Contributor

@jackkoenig jackkoenig commented Feb 4, 2026

Type of Improvement

  • Internal or build-related (includes code refactoring/cleanup)

Desired Merge Strategy

  • Squash

Release Notes

It includes an important fix (com-lihaoyi/mill#6774) for propagating system properties to ScalaTest when using the native image launcher.

Reviewer Checklist (only modified by reviewer)

  • Did you add the appropriate labels? (Select the most appropriate one based on the "Type of Improvement")
  • Did you mark the proper milestone (Bug fix: 3.6.x, 5.x, or 6.x depending on impact, API modification or big change: 7.0)?
  • Did you review?
  • Did you check whether all relevant Contributor checkboxes have been checked?
  • Did you do one of the following when ready to merge:
    • Squash: You/ the contributor Enable auto-merge (squash) and clean up the commit message.
    • Merge: Ensure that contributor has cleaned up their commit history, then merge with Create a merge commit.

@jackkoenig jackkoenig requested a review from seldridge February 4, 2026 19:28
@jackkoenig jackkoenig added the Internal Internal change, does not affect users, will be included in release notes label Feb 4, 2026
It includes an important fix for propagating system properties to
ScalaTest when using the native image launcher.

This also required updating the unidoc invocation, I made the same
change that Mill made to their internal Unidoc.
@jackkoenig jackkoenig merged commit d85a834 into main Feb 6, 2026
27 checks passed
@jackkoenig jackkoenig deleted the bump-mill branch February 6, 2026 22:34
@jackkoenig
Copy link
Contributor Author

I forgot why this was needed, so for posterity, it's because Mill 1.1 uses Scala 3.8 so requires Java 17 which can't publish for older Scala 2.13, see #5202

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Internal Internal change, does not affect users, will be included in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant