Skip to content
Tests

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

Sign in to view logs

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

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

Annotations

1 error

integration-tests (testRunAllWdProofs, ubuntu-latest, 21)

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