Update scala-library to 2.12.17

scala-steward · scala-steward · commit 420abaa2ab13 · 2023-02-18T18:53:17.000Z
diff --git a/.github/docs/docs.scala b/.github/docs/docs.scala
@@ -1,4 +1,4 @@
-//> using scala "2.12.15"
+//> using scala "2.12.17"
 //> using lib "org.scalameta::mdoc:2.3.2"
 
 import java.nio.file.Path
