Mirror/powersort
1
0
Fork 0
mirror of https://gitlab.uni-marburg.de/langbeid/powersort.git synced 2025-01-21 19:50:35 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

shell.nix: fix JDK23

Browse Source
This commit is contained in:
Daniel Langbein 2025-01-07 17:26:25 +00:00
parent 648af1c4be
commit 1133c069f8
Signed by: langfingaz
GPG Key ID: 6C47C753F0823002
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
shell.nix
View File

@ -31,7 +31,11 @@ let
}; };
jdk = unstable.jdk23; jdk = unstable.jdk23;
gradle = unstable.gradle; gradle = unstable.gradle.override {
java = jdk;
# Required for `gradle javaToolchains` to list JDK23
javaToolchains = [ jdk ];
};
in in
( (