circleci: fix jdk download

We use the disco API to discover JDKs on CircleCI. Using `version` instead of `jdk_version` seems to fix things.
babashka · Feb 26, 2024 · f02d47c · f02d47c
1 parent abe7ea3
commit f02d47c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/script/circle_ci.clj b/script/circle_ci.clj
@@ -18,7 +18,7 @@
                                {:query-params {"distro" distro
                                                "package_type" "jdk"
                                                "latest" "available"
-                                               "jdk_version" jdk-major
+                                               "version" jdk-major
                                                "operating_system" os
                                                "architecture" "x64"
                                                "archive_type" archive-type}})