Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

SethTisue
Copy link
Member

@SethTisue SethTisue commented Apr 5, 2023

PICK * 59b872e - 10366 from SethTisue/jdk-20-now-ga
SKIP * 2d9e951 - 10362 from SethTisue/asm-9.4-on-2.12
PICK * c2bab31 - 10354 from scala-steward/update/2.12.x/jquery-3.6.4
PICK * a85e003 - 10341 from scala-steward/update/2.12.x/sbt-buildinfo-0.11.0
SKIP * 4b1dc0b - 10338 from SethTisue/sd-831
SKIP * 28c0d12 - 10306 from SethTisue/test-jdk20-on-ci
SKIP * e6a3a68 - 10313 from lrytz/div-to-float

(I'm labeling as "internal" — the jQuery upgrade is arguably user-visible, but seems inconsequential)

lrytz and others added 22 commits February 21, 2023 13:40
the test was rewritten on the 2.13.x branch and (although
I'm not positive) I don't remember seeing it fail there,
so this backports the 2.13 version, fingers crossed that
will put an end to the intermittent failures

references scala/scala-dev#831
@scala-jenkins scala-jenkins added this to the 2.13.12 milestone Apr 5, 2023
@SethTisue SethTisue modified the milestones: 2.13.12, 2.13.11 Apr 5, 2023
@SethTisue SethTisue added prio:hi high priority (used only by core team, only near release time) and removed prio:hi high priority (used only by core team, only near release time) labels Apr 5, 2023
@SethTisue SethTisue merged commit 55704ea into scala:2.13.x Apr 8, 2023
@SethTisue SethTisue deleted the merge-2.12-to-2.13-20230405 branch April 8, 2023 08:20
@SethTisue
Copy link
Member Author

#10313 would have been PICK, but didn't merge cleanly --
@lrytz, can you submit a forward-port separately?

@SethTisue SethTisue added the internal not resulting in user-visible changes (build changes, tests, internal cleanups) label Apr 8, 2023
@som-snytt
Copy link
Contributor

@SethTisue @lrytz I'll submit a PR to 2.13 as I woke up too early and need quiet play time.

hamzaremmal pushed a commit to hamzaremmal/scala3 that referenced this pull request May 2, 2025
hamzaremmal pushed a commit to scala/scala3 that referenced this pull request May 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal not resulting in user-visible changes (build changes, tests, internal cleanups)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants