Skip to content

Pull requests: scala/docs.scala-lang

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

Style guide: bring ToC in line with reality, fixing 404
#3166 by SethTisue was merged Feb 26, 2025 Loading…
Scala 2.13.16
#3143 by SethTisue was merged Jan 15, 2025 Loading…
fix a 404 link in an old SIP
#3102 by SethTisue was merged Nov 11, 2024 Loading…
Add governance links to navbar and footer
#3099 by bishabosha was merged Nov 1, 2024 Loading…
fix broken links stemming from IDE page addition
#3091 by SethTisue was merged Oct 19, 2024 Loading…
add JDK 23 to build tool table
#3082 by SethTisue was merged Jan 7, 2025 Loading…
Bump webrick from 1.8.1 to 1.8.2 dependencies Pull requests that update a dependency file
#3077 by dependabot bot was merged Oct 26, 2024 Loading…
add Scala 2.13.15
#3076 by SethTisue was merged Sep 25, 2024 Loading…
Scala 2.12.20
#3065 by SethTisue was merged Sep 4, 2024 Loading…
Document Xsource-features:double-definitions
#3059 by lrytz was merged Sep 25, 2024 Loading…
Scala 2.13.14
#3011 by SethTisue was merged May 1, 2024 Loading…
Correct 2.13 Java 22 compatibility
#3004 by octylFractal was merged Apr 9, 2024 Loading…
clarifications for -Xsource:3-cross in 2.13.13
#2982 by lrytz was merged Feb 28, 2024 Loading…
Scala 2.13.13
#2978 by SethTisue was merged Feb 26, 2024 Loading…
Scala 2.12.19
#2977 by SethTisue was merged Feb 26, 2024 Loading…
Add page about Scala 2 -Xsource:3 to migration guide
#2966 by lrytz was merged Feb 28, 2024 Loading…
bump coursier/setup-action version to 1.3.5 (was .4)
#2962 by SethTisue was merged Feb 1, 2024 Loading…
Update SIP documentation
#2957 by anatoliykmetyuk was merged Jan 31, 2024 Loading…
Add description for dynamic-side-menu scaladoc option
#2942 by Florian3k was merged Mar 29, 2024 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.