Skip to content

Pull requests: scala/scala-dev

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Scala 2.13.15 release notes (DRAFT)
#875 by SethTisue was closed Sep 25, 2024 Draft
Scala 2.13.12 release notes draft
#850 by SethTisue was closed Sep 11, 2023 Loading…
2.12.16 release notes draft
#810 by SethTisue was closed Jun 10, 2022 Loading…
Scala 2.13.9 draft release notes
#817 by SethTisue was closed Sep 21, 2022 Draft
Scala 2.13.13 draft release notes
#861 by SethTisue was closed Feb 26, 2024 Draft
Make the release template into a GitHub issue template
#597 by dwijnand was closed Jan 16, 2019 Loading…
Scala 2.12.19 draft release notes
#860 by SethTisue was closed Feb 26, 2024 Draft
Fix regex to find AdoptOpenJDK from SDKMAN list
#723 by eed3si9n was closed Sep 24, 2020 Loading…
JDK selection: allow non-Adopt early access builds
#780 by SethTisue was merged Jun 25, 2021 Loading…
Scala 2.12.18 release notes
#842 by SethTisue was closed Jun 7, 2023 Draft
2.12.14 Release note work (and some automation)
#774 by retronym was merged May 27, 2021 Loading…
Update travis/default.yml
#718 by ohze was merged Jul 23, 2020 Loading…
use before_script to trigger Travis CI jobs
#650 by eed3si9n was merged Sep 3, 2019 Loading…
Add JDK 25 community build
#910 by Philippus was merged Sep 19, 2025 Loading…
Release notes draft
#750 by retronym was merged Nov 30, 2020 Loading…
draft 2.12.15 release notes
#784 by SethTisue was closed Sep 14, 2021 Draft
bye bye AdoptOpenJDK hello Temurin
#789 by SethTisue was merged Sep 20, 2021 Loading…
add SDKMAN to Scala 2 release steps
#806 by SethTisue was merged Feb 7, 2022 Loading…
Scala 2.12.17 draft release notes
#816 by SethTisue was closed Sep 16, 2022 Draft
Scala 2.13.17 release notes (DRAFT)
#911 by lrytz was closed Oct 7, 2025 Draft
add CODE_OF_CONDUCT.md
#624 by SethTisue was merged Apr 23, 2019 Loading…
Add the release-notes PRs, in sections
#739 by dwijnand was merged Nov 11, 2020 Loading…
Flesh out and reorganise the 2.13.4 notes some
#740 by dwijnand was merged Nov 13, 2020 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.