scala / community-build

Scala 2 community build — a corpus of open-source repos built against Scala nightlies
Apache License 2.0
139 stars 59 forks source link

advance Scalameta #1715

Closed SethTisue closed 8 months ago

SethTisue commented 8 months ago

~https://scala-ci.typesafe.com/job/scala-2.13.x-jdk17-integrate-community-build/1805/~ ~https://scala-ci.typesafe.com/job/scala-2.13.x-jdk17-integrate-community-build/1820/~ https://scala-ci.typesafe.com/job/scala-2.13.x-jdk17-integrate-community-build/1822/

SethTisue commented 8 months ago

Metals is failing because it's still on Scalameta 4.9.1 — trying for 4.9.2 here

UPDATE: they're on it over at https://github.com/scalameta/metals/pull/6254

SethTisue commented 8 months ago

I'll revive this when Metals is ready.

SethTisue commented 8 months ago

https://github.com/scalameta/metals/pull/6254 was merged

SethTisue commented 8 months ago

Scalameta is actually at 4.9.3 now; I left this PR at 4.9.2 to see if it's mergeable that way; if it isn't I can try 4.9.3 next

SethTisue commented 8 months ago

yay

SethTisue commented 8 months ago

I also tried going to 4.9.3, but scalafix failed; I've subscribed to https://github.com/scalacenter/scalafix/pull/1967

SethTisue commented 8 months ago

followup: https://github.com/scala/community-build/pull/1716