Skip to content
Tests

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

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 #4522

Annotations

1 error

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

integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
failed May 12, 2026 in 24m 8s