Update files from .github to v0.13.1 [skip ci]

juanpedromoreno · actions-user · commit 9f2ac7c2383d · 2022-12-12T09:24:25.000Z
diff --git a/.gitignore b/.gitignore
@@ -35,6 +35,7 @@ project/plugins/project/
 .bloop/
 .metals/
 metals.sbt
+.scala-build/
 
 ### Vim ###
 
