leanprover/LeanInk

Setup CI/CD

Closed this issue · 0 comments

Probably make repository public to use free tiers of CI/CD services.