Skip to content

DO NOT MERGE Update JDT to version built with GitHub actions #388

DO NOT MERGE Update JDT to version built with GitHub actions

DO NOT MERGE Update JDT to version built with GitHub actions #388

Triggered via pull request October 31, 2025 12:59
Status Success
Total duration 26s
Artifacts

PullRequestCreated.yml

on: pull_request
Pull Request Created
21s
Pull Request Created
Fit to window
Zoom out
Zoom in