fix: don't run `leanproject` in Github CI - Githubissues

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

40 stars 15 forks source link

fix: don't run `leanproject` in Github CI #245

Closed urkud closed 1 year ago