Skip to content

fix(jdtls): use project-local workspace dir and remove unused options #6043

fix(jdtls): use project-local workspace dir and remove unused options

fix(jdtls): use project-local workspace dir and remove unused options #6043

Triggered via pull request September 30, 2025 02:40
Status Success
Total duration 21s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in