From f02d47cbbadfba90244ab923a2cab0fe6ac66c0c Mon Sep 17 00:00:00 2001
From: lread <lee@dlread.com>
Date: Mon, 26 Feb 2024 16:15:13 -0500
Subject: [PATCH] circleci: fix jdk download

We use the disco API to discover JDKs on CircleCI.
Using `version` instead of `jdk_version` seems to fix things.
---
 script/circle_ci.clj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/circle_ci.clj b/script/circle_ci.clj
index 93acb72..6139fff 100644
--- 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}})