Update scala-library to 2.13.13

[typelevel-steward]

About this PR

📦 Updates org.scala-lang:scala-library from 2.13.12 to 2.13.13

📜 GitHub 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!

⚙ Adjust future updates

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

updates.ignore = [ { groupId = "org.scala-lang", artifactId = "scala-library" } ]

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

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.scala-lang", artifactId = "scala-library" }
}]

^{labels: library-update, early-semver-patch, semver-spec-patch, commit-count:1}

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 95.46%. Comparing base (15eeee3) to head (8e7d761).
Report is 2 commits behind head on master.

❗ Current head 8e7d761 differs from pull request most recent head e2105ab. Consider uploading reports for the commit e2105ab to get more accurate results

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #799   +/-   ##
=======================================
  Coverage   95.46%   95.46%           
=======================================
  Files          67       67           
  Lines        1257     1257           
  Branches       42       42           
=======================================
  Hits         1200     1200           
  Misses         57       57           

Flag	Coverage Δ
2.12-root-spark33	95.46% <ø> (ø)
2.12-root-spark34	95.46% <ø> (ø)
2.12-root-spark35	95.46% <ø> (ø)
2.13-root-spark35	96.06% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.