Skip to content

JDT Clean-up Use String.replace() instead of String.replaceAll() #4318

JDT Clean-up Use String.replace() instead of String.replaceAll()

JDT Clean-up Use String.replace() instead of String.replaceAll() #4318

Triggered via pull request January 20, 2026 08:03
Status Success
Total duration 12m 58s
Artifacts

codeql.yml

on: pull_request
Matrix: callCodeQLworkflow / Analyze
Fit to window
Zoom out
Zoom in