Closed SethTisue closed 2 years ago
This doesn't upgrade Dotty past 0.25, and as a consequence I also left the sbt version somewhat outdated since old Dotty means we need sbt-dotty, and I don't know whether that still works in newer sbt.
This doesn't upgrade Dotty past 0.25, and as a consequence I also left the sbt version somewhat outdated since old Dotty means we need sbt-dotty, and I don't know whether that still works in newer sbt.