Search results

Scala 2.13.17 release notes (DRAFT)

Status: Closed (abandoned).

scala/scala-devnumber 911

#911 In scala/scala-dev;

· by lrytz was closed on Oct 7, 2025

add SDKMAN to Scala 2 release steps

Status: Merged (completed).

scala/scala-devnumber 806

#806 In scala/scala-dev;

· by SethTisue was closed on Feb 7, 2022

Make the release template into a GitHub issue template

Status: Closed (abandoned).

scala/scala-devnumber 597

#597 In scala/scala-dev;

· by dwijnand was closed on Jan 16, 2019

add CODE_OF_CONDUCT.md

Status: Merged (completed).

scala/scala-devnumber 624

#624 In scala/scala-dev;

· by SethTisue was closed on Apr 23, 2019

Update travis/default.yml

Status: Merged (completed).

scala/scala-devnumber 718

#718 In scala/scala-dev;

· by ohze was closed on Jul 23, 2020

Update nav header on docs.scala-lang on major bump

Status: Merged (completed).

scala/scala-devnumber 646

#646 In scala/scala-dev;

· by Philippus was closed on Aug 17, 2019

use before_script to trigger Travis CI jobs

Status: Merged (completed).

scala/scala-devnumber 650

#650 In scala/scala-dev;

· by eed3si9n was closed on Sep 3, 2019

update SDKMAN! caching setup

Status: Merged (completed).

scala/scala-devnumber 669

#669 In scala/scala-dev;

· by SethTisue was closed on Feb 21, 2020

Tweak the 2.13.4 release notes, from Lukas' nits

Status: Merged (completed).

scala/scala-devnumber 743

#743 In scala/scala-dev;

· by dwijnand was closed on Nov 18, 2020

Tweak release procedure, particularly release notes in PRs

Status: Merged (completed).

scala/scala-devnumber 748

#748 In scala/scala-dev;

· by dwijnand was closed on Nov 25, 2020

Add the release-notes PRs, in sections

Status: Merged (completed).

scala/scala-devnumber 739

#739 In scala/scala-dev;

· by dwijnand was closed on Nov 11, 2020

Flesh out and reorganise the 2.13.4 notes some

Status: Merged (completed).

scala/scala-devnumber 740

#740 In scala/scala-dev;

· by dwijnand was closed on Nov 13, 2020