Skip to content

Merge pull request #1720 from scalacenter/optimize-scaladex #2327

Merge pull request #1720 from scalacenter/optimize-scaladex

Merge pull request #1720 from scalacenter/optimize-scaladex #2327

integration

succeeded Jul 30, 2026 in 10m 7s