Update sbt, scripted-plugin to 1.12.13

[typelevel-steward]

About this PR

📦 Updates

• org.scala-sbt:sbt
• org.scala-sbt:scripted-plugin

from 1.12.12 to 1.12.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-sbt" } ]

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

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

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

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.67%. Comparing base (bc1a19f) to head (aae65fe).
⚠️ Report is 5 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #951      +/-   ##
==========================================
- Coverage   96.21%   95.67%   -0.55%     
==========================================
  Files          66       68       +2     
  Lines        1296     1342      +46     
  Branches       48       48              
==========================================
+ Hits         1247     1284      +37     
- Misses         49       58       +9     

Flag	Coverage Δ
2.12-root-spark35	95.69% <ø> (?)
2.13-root-spark40	96.21% <ø> (ø)

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

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.