Skip to content

deps.sh : debian : change default-jdk to openjdk-25-jdk #945

deps.sh : debian : change default-jdk to openjdk-25-jdk

deps.sh : debian : change default-jdk to openjdk-25-jdk #945

Triggered via push January 28, 2026 18:32
Status Success
Total duration 27s
Artifacts

ant.yml

on: push
Fit to window
Zoom out
Zoom in