Skip to content

Improve error handling - #66

Closed
Kha wants to merge 3 commits into
leanprover:masterfrom
Kha:master
Closed

Improve error handling#66
Kha wants to merge 3 commits into
leanprover:masterfrom
Kha:master

fix: parser error recovery should be silent and be able to skip more …

d6b1d9c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs