Update scala-library to 2.13.12 (#127)

Co-authored-by: johannes karoff <johannes@karoff.net>
Co-authored-by: Felix Dietze <felix.dietze@rwth-aachen.de>

Author: 3 people

.github/workflows/build.yml

@@ -17,7 +17,7 @@ jobs:
   build:
     strategy:
       matrix:
-        scalaVersion: ["2.13.8", "3.3.1"]
+        scalaVersion: ["2.13.12", "3.3.1"]
     runs-on: ubuntu-22.04
 
     steps:

build.sbt

@@ -2,8 +2,8 @@ Global / onChangedBuildSource := IgnoreSourceChanges // not working well with we
 
 name                           := "Formidable"
 ThisBuild / organization       := "com.github.fdietze"
-ThisBuild / crossScalaVersions := Seq("2.13.8", "3.3.1")
-ThisBuild / scalaVersion       := "2.13.8"
+ThisBuild / crossScalaVersions := Seq("2.13.12", "3.3.1")
+ThisBuild / scalaVersion       := "2.13.12"
 
 inThisBuild(
   List(