Upgrade to Scala 2.13.4, switch CI to JDK 15, tweak CI configuration#10392
Merged
nicolasstucki merged 5 commits intoscala:masterfrom Nov 24, 2020
Merged
Upgrade to Scala 2.13.4, switch CI to JDK 15, tweak CI configuration#10392nicolasstucki merged 5 commits intoscala:masterfrom
nicolasstucki merged 5 commits intoscala:masterfrom