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

Sync SIPs from scala/improvement-proposals
#3244 by github-actions bot was merged Dec 3, 2025 Loading…
Update plugin for SIP redirects
#3243 by bracevac was merged Dec 3, 2025 Loading…
Fix permalink due to SIP changes
#3242 by bracevac was merged Dec 3, 2025 Loading…
Sync SIPs from scala/improvement-proposals
#3241 by github-actions bot was merged Dec 3, 2025 Loading…
add plugin to be able to use number in permalink
#3240 by hamzaremmal was merged Dec 3, 2025 Loading…
Update SIP pages
#3239 by bracevac was merged Dec 1, 2025 Loading…
chore: Switch to Inconsolata just in case
#3237 by tgodzik was merged Nov 26, 2025 Loading…
Improve SIP pages
#3236 by bracevac was merged Dec 1, 2025 Loading…
Scala 2.13.18
#3235 by lrytz was merged Nov 24, 2025 Loading…
Add missing case
#3234 by Philippus was merged Nov 19, 2025 Loading…
run mdoc with newer Toolkit version (0.7.0, was 0.1.7)
#3233 by SethTisue was merged Nov 23, 2025 Loading…
typo in iterators.md
#3231 by alar was merged Nov 19, 2025 Loading…
various updates to JDK compat guide
#3230 by SethTisue was merged Nov 12, 2025 Loading…
Add Scala 3.7.4 to API docs
#3229 by WojciechMazur was merged Nov 11, 2025 Loading…
Update Extension School links in scalacenter-courses.md
#3228 by fsalvi was merged Oct 30, 2025 Loading…
document -Xsource-features:eta-expand-always
#3225 by lrytz was merged Oct 27, 2025 Loading…
docs: Update latest LTS to 3.3.7
#3224 by tgodzik was merged Oct 10, 2025 Loading…
Update -Ysafe-init compiler option to -Wsafe-init
#3223 by saeltz was merged Oct 8, 2025 Loading…
Bump nokogiri from 1.18.8 to 1.18.9 dependencies Pull requests that update a dependency file ruby Pull requests that update ruby code
#3222 by dependabot bot was merged Oct 4, 2025 Loading…
Scala 2.13.17
#3221 by lrytz was merged Oct 7, 2025 Loading…
Add Michał Pałka to SIP Committee members' list
#3220 by prolativ was merged Oct 2, 2025 Loading…
MiMa moved to lightbend-labs org
#3219 by ilkka was merged Sep 28, 2025 Loading…
The USPS abbreviation for Arizona is AZ
#3218 by ilkka was merged Sep 28, 2025 Loading…
Fix typo in types-adts-gadts.md
#3217 by j95io was merged Sep 25, 2025 Loading…
update JDK compat page for JDK 25 going GA
#3215 by SethTisue was merged Sep 18, 2025 Loading…
ProTip! Follow long discussions with comments:>50.