internal/ci: install jextract

This makes the jextract tool (https://jdk.java.net/jextract/) available
in CI, so that later commits can use it to regenerate the src/
directory.

Signed-off-by: Jonathan Matthews <[email protected]>
Change-Id: I448adaf0a0ffdf7e016ba4639fa8fdba9285b556
Dispatch-Trailer: {"type":"trybot","CL":1199057,"patchset":2,"ref":"refs/changes/57/1199057/2","targetBranch":"main"}

Author: jpluscplusm

.github/workflows/trybot.yml

@@ -71,6 +71,12 @@ jobs:
         with:
           distribution: temurin
           java-version: "22"
+      - name: Install Jextract
+        uses: oracle-actions/setup-java@v1
+        with:
+          website: jdk.java.net
+          release: jextract
+          version: jdk22
       - id: go-mod-cache-dir
         name: Get go mod cache directory
         run: echo "dir=$(go env GOMODCACHE)" >> ${GITHUB_OUTPUT}

internal/ci/github/trybot.cue

@@ -52,6 +52,7 @@ workflows: trybot: _repo.bashWorkflow & {
 
 				_installGo,
 				_installJava,
+				_installJextract,
 
 				// cachePre must come after installing Go,
 				// because the cache locations
@@ -98,17 +99,28 @@ workflows: trybot: _repo.bashWorkflow & {
 		}
 	}
 
+	// cf. https://github.com/oracle-actions/setup-java?tab=readme-ov-file#download-and-install-an-early-access-build-of-a-named-openjdk-project
+	_installJextract: json.#step & {
+		name: "Install Jextract"
+		uses: "oracle-actions/setup-java@v1"
+		with: {
+			website: "jdk.java.net"
+			release: "jextract"
+			version: "jdk22"
+		}
+	}
+
 	_checkoutLibcue: json.#step & {
 		name: "Checkout libcue"
 		uses: "actions/checkout@v4"
 		with: {
 			repository: "cue-lang/libcue"
-			path: "libcue"
+			path:       "libcue"
 		}
 	}
 
 	_buildLibcue: json.#step & {
-		name: "Build libcue"
+		name:                "Build libcue"
 		"working-directory": "libcue"
 		// The name of the shared library is target-dependent.
 		// Build libcue with all possible names so we're covered
@@ -122,7 +134,7 @@ workflows: trybot: _repo.bashWorkflow & {
 
 	_mavenTest: json.#step & {
 		name: "Test"
-		env: LD_LIBRARY_PATH: "${{ github.workspace }}/libcue"
+		env: LD_LIBRARY_PATH:   "${{ github.workspace }}/libcue"
 		env: DYLD_LIBRARY_PATH: "${{ github.workspace }}/libcue"
 		run: "mvn clean install package"
 	}