Update ujson, upickle to 3.1.2

[scala-steward]

About this PR

📦 Updates

• com.lihaoyi:ujson
• com.lihaoyi:upickle

from 2.0.0 to 3.1.2 ⚠

📜 GitHub Release Notes - Release Notes - Version Diff

Usage

✅ Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you'd like to skip this version, you can just close this PR. If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

🔍 Files still referring to the old version number

The following files still refer to the old version number (2.0.0).
You might want to review and update them manually.

build.sbt

⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "com.lihaoyi" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "com.lihaoyi" }
}]

^{labels: library-update, early-semver-major, semver-spec-major, version-scheme:semver-spec, old-version-remains, commit-count:1}

[codecov-commenter]

Codecov Report

Merging #2646 (4b7d167) into main (92216b9) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main    #2646      +/-   ##
==========================================
+ Coverage   78.51%   78.53%   +0.01%     
==========================================
  Files         455      455              
  Lines       15795    15795              
  Branches     2573     2597      +24     
==========================================
+ Hits        12402    12404       +2     
+ Misses       3393     3391       -2     

Impacted Files	Coverage Δ
...syte/apalache/io/lir/ItfCounterexampleWriter.scala	96.29% <100.00%> (ø)

... and 2 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[shonfeder]

Thanks for the fixes, @thpani!

We a hit a java OOM on the serialization tests for the ApalacheIR (unrelated to quint). But I reran on my machine with the failing seed via

> set Test / testOptions += Tests.Argument(TestFrameworks.ScalaTest, "-S", "4388206361308815438")
> ~tla_io/testOnly *TestUJsonToTla*

and hit no problems. So I think it's just a CI env issue.