lampepfl · bishabosha · Jan 16, 2026 · Jan 16, 2026 · Jan 16, 2026
diff --git a/.gitignore b/.gitignore
@@ -188,6 +188,7 @@ local.properties
 .cache-main
 .scala_dependencies
 .worksheet
+metals.sbt
 
 # Uncomment this line if you wish to ignore the project description file.
 # Typically, this file would be tracked if it contains build/dependency configurations:

diff --git a/build.sbt b/build.sbt
@@ -1,4 +1,4 @@
-val scala3Version = "3.8.0-RC1-bin-20250818-aaa39c5-NIGHTLY"
+val scala3Version = "3.8.0-RC6"
 resolvers += ("Artifactory" at "https://repo.scala-lang.org/artifactory/maven-nightlies/")
 
 inThisBuild(

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -24,7 +24,7 @@
         # Equivalent to  inputs'.nixpkgs.legacyPackages.hello;
         # packages.default = pkgs.hello;
         devShells.default = pkgs.mkShell {
-          buildInputs = with pkgs; [ jdk21 scala-cli metals scalafmt ];
+          buildInputs = with pkgs; [ jdk21 scala-cli metals scalafmt sbt ];
         };
       };
       flake = {

diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.9.9
+sbt.version=1.12.0
diff --git a/project/project/metals.sbt b/project/project/metals.sbt