Skip to content

🐛 Adding settings to the init script for jdtls #21

🐛 Adding settings to the init script for jdtls

🐛 Adding settings to the init script for jdtls #21

Triggered via pull request July 23, 2024 17:17
Status Success
Total duration 31s
Artifacts

pr-closed.yaml

on: pull_request_target
cherry_pick_job  /  branches
17s
cherry_pick_job / branches
Matrix: cherry_pick_job / cherry-pick
Fit to window
Zoom out
Zoom in