Skip to content

Pull requests: scala/scala3

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

update quick links for new ui
#15912 by bishabosha was merged Oct 21, 2022 Loading…
Fix: Add scrollbar to the sidebar
#17203 by Dedelweiss was merged Apr 24, 2023 Loading…
Publish spec
#18526 by sjrd was merged Sep 25, 2023 Loading… 3.4.0
Register usage of symbols in non-inferred type trees in CheckUnused backport:done This PR was successfully backported.
#16939 by KacperFKorban was merged Feb 17, 2023 Loading… 3.3.0
Backport "Fix #16822"
#17267 by Kordyjan was merged Apr 17, 2023 Loading… 3.3.0
New lazy vals implementation
#15207 by szymon-rd was closed May 26, 2022 Loading…
Set reference version to 3.2.0-RC2
#15610 by Kordyjan was merged Jul 7, 2022 Loading…
Adjust headers levels
#15933 by Florian3k was merged Sep 2, 2022 Loading…
Set reference version to 3.2.1-RC1
#15973 by Kordyjan was merged Sep 6, 2022 Loading…
Add scaladoc typography fallback fonts
#16063 by JD557 was merged Oct 9, 2022 Loading…
Backport "Use baseVersion for reference documentation"
#16307 by Kordyjan was merged Nov 9, 2022 Loading…
Use baseVersion for reference documentation
#16296 by Kordyjan was merged Nov 7, 2022 Loading…
Set reference version to 3.2.1-RC4
#16210 by Kordyjan was merged Oct 19, 2022 Loading…
Remove backticks breaking pr messages
#16433 by Kordyjan was merged Nov 29, 2022 Loading…
Backport "Fix WUnused with idents in derived code"
#17254 by Kordyjan was closed Apr 14, 2023 Loading…
Bump Inkuire version to v1.0.0-M7
#16518 by KacperFKorban was merged Dec 14, 2022 Loading…
Fix #16693 scaladoc inserts -project-logo twice
#16730 by little-inferno was closed May 9, 2023 Loading…
add styling to blockquote in content component
#17423 by bishabosha was merged May 11, 2023 Loading…
Report all warnings on Werror and fail at the end
#18829 by szymon-rd was closed Dec 11, 2023 Loading…
ProTip! Follow long discussions with comments:>50.