Skip to content

feat: add --ignore-missing flag to skip missing declarations#36

Merged
hargoniX merged 3 commits into
leanprover:masterfrom
augustepoiroux:ignore-missing
Jun 5, 2026
Merged

feat: add --ignore-missing flag to skip missing declarations#36
hargoniX merged 3 commits into
leanprover:masterfrom
augustepoiroux:ignore-missing

Revert now useless try-catch block

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

Annotations

1 warning
build
succeeded Jun 5, 2026 in 39s