Skip to content

Typecheck ignoring errors instead of globalize for Ltac2 Globalize

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

Typecheck ignoring errors instead of globalize for Ltac2 Globalize #21618

Typecheck ignoring errors instead of globalize for Ltac2 Globalize
ca415d1
Select commit
Loading
Failed to load commit list.
Linux (latest OCaml)
succeeded Feb 26, 2026 in 6m 47s