OXYGENHUB

CI: point Gradle at the image's JDK 25 for its daemon, and never download (refs #19) 9af639e2ea06

Author
Andy McCall @andymccall <[email protected]>
via
agent agent:claude@andymccall <[email protected]> · keyless, under your grant for changes,refs,seal · key 19a9f7b6ebf4
When
· 2026-10-27 01:34 UTC
Signature
◈ sealed by agent:claude@andymccall
Hash
9af639e2ea06f5c670b703273727175f60c937e1ce04b8239d50e0160c15cd93
Depends on
8a657957d5a0
Depended on by
nothing yet
In bookmarks
main
In tags
v0.1.0 v0.1.1 v0.1.2 v0.1.3 v0.1.4 v0.1.5 v0.1.6 v0.1.7 v0.1.8 v0.1.9
Edits
1 atom, 0 tree operations, 1 file

Browse the tree at this change

modified scripts/ci.sh +12 −0
…
8 unchanged lines
9 9
set -u
10 10
cd "$(dirname "$0")/.."
11 11
status=0
12 +
# Gradle's daemon wants Java 25 (gradle/gradle-daemon-jvm.properties). The
13 +
# image's warm build provisioned one under /opt/gradle-home/jdks, but the
14 +
# job's GRADLE_USER_HOME is a fresh one: name the JDKs there, and never
15 +
# download (there is no network to download with).
16 +
jdks=$(ls -d /opt/gradle-home/jdks/*/ 2>/dev/null | sed 's:/$::' | paste -sd, -)
17 +
if [ -n "$jdks" ] && [ -n "${GRADLE_USER_HOME:-}" ]; then
18 +
    mkdir -p "$GRADLE_USER_HOME"
19 +
    {
20 +
        echo "org.gradle.java.installations.paths=$jdks"
21 +
        echo "org.gradle.java.installations.auto-download=false"
22 +
    } >> "$GRADLE_USER_HOME/gradle.properties"
23 +
fi
12 24
gradle --offline --no-daemon --continue \
13 25
    :app:createDebugUnitTestCoverageReport \
14 26
    :app:assembleDebug || status=$?
…
17 unchanged lines