Skip to content

Fix usage hint rendering in proof explanations

52f54e4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

Exclude UsageHintGroup from proof explanation rendering #2131

Fix usage hint rendering in proof explanations
52f54e4
Select commit
Loading
Failed to load commit list.

Annotations

2 errors
forwardCompatibility (1.9)
failed Jan 21, 2026 in 3m 38s