Skip to content

Share JAVA_HOME and Java version detection among Makefiles; use JAVA_HOME's tools - #897

Open
mernst wants to merge 23 commits into
codespecs:masterfrom
mernst:java-home-detection
Open

Share JAVA_HOME and Java version detection among Makefiles; use JAVA_HOME's tools#897
mernst wants to merge 23 commits into
codespecs:masterfrom
mernst:java-home-detection

TraceSelect: don't treat a Daikon option's value as the sampled trace…

5ee0601
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
prek
succeeded Oct 13, 2026 in 44s