Skip to content

Conversation

@wmdietl
Copy link
Member

@wmdietl wmdietl commented Dec 21, 2025

No description provided.

Copy link
Member Author

@wmdietl wmdietl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

b27 seems to be the newest available in CI.

@wmdietl
Copy link
Member Author

wmdietl commented Dec 27, 2025

typecheck-part2 fails with JDK 26 with:

> Task :dataflow:checkResourceLeak
/home/runner/work/checker-framework/checker-framework/dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeLauncher.java:321: error: [resourceleak:required.method.not.called] @MustCall method close may not have been invoked on child or any of its aliases.
            Process child = Runtime.getRuntime().exec(new String[] {"/bin/sh", "-c", command});
                    ^
  The type of object is: java.lang.Process.
  Reason for going out of scope: possible exceptional exit due to child.waitFor() with exception type java.lang.InterruptedException
1 error

@wmdietl wmdietl changed the title Update CI to use JDK 26.0.0-ea.29.0.ea Update CI to use JDK 26.0.0-ea.27.0.ea Dec 27, 2025
Copy link
Member Author

@wmdietl wmdietl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Try ea29 again

@wmdietl
Copy link
Member Author

wmdietl commented Dec 31, 2025

ea29 still not available. Need to look into whether there was a compiler change that could lead to this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants