leanprover/verso

Check in CI that there's no `import Lean` checked in

Closed this issue 6 months ago · 1 comments

david-christiansen commented 8 months ago

Check in CI that there's no `import Lean` checked in

david-christiansen commented 6 months ago

Fixed by #122