Skip to content

Clarify visualize error handling#92

Merged
jrfaeder merged 2 commits into
RuleWorld:mainfrom
wshlavacek:visualize-error-handling
May 12, 2026
Merged

Clarify visualize error handling#92
jrfaeder merged 2 commits into
RuleWorld:mainfrom
wshlavacek:visualize-error-handling

Use Optional for visualize dump_dir annotation

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

Annotations

1 warning
lint
succeeded May 11, 2026 in 12s