Skip to content

fix: make register_try?_tactic auxiliary definitions internal #48046

fix: make register_try?_tactic auxiliary definitions internal

fix: make register_try?_tactic auxiliary definitions internal #48046

Annotations

3 errors

Build matrix complete

failed Dec 8, 2025 in 5s