chore(deps): lock file maintenance (#5894)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
INRIA · Jul 25, 2024 · 995e40f · 995e40f
1 parent b0456aa
commit 995e40f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -21,7 +21,7 @@
                     jdk =
                       if javaVersion <= 23 then prev."jdk${toString javaVersion}"
                       else abort "Not set up yet :)";
-                    maven = prev.maven.override { inherit jdk; };
+                    maven = prev.maven.override { jdk_headless = jdk; };
                   };
                   extra = with base; {
                     gradle = prev.gradle.override { java = jdk; };