Skip to content

Clean up the Java AST: Avoid sub-classes in favor of Enum#3803

Draft
wadoon wants to merge 9 commits into
mainfrom
weigl/javaastenums
Draft

Clean up the Java AST: Avoid sub-classes in favor of Enum#3803
wadoon wants to merge 9 commits into
mainfrom
weigl/javaastenums

fix typing issues

719bcf3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
failed May 15, 2026 in 4m 40s