Skip to content

ci: update Jenkinsfile#1382

Merged
sebthom merged 1 commit intoeclipse-lsp4e:mainfrom
sebthom:jenkinsfile
Nov 12, 2025
Merged

ci: update Jenkinsfile#1382
sebthom merged 1 commit intoeclipse-lsp4e:mainfrom
sebthom:jenkinsfile

Commits

Commits on Nov 12, 2025