Closed Seasawher closed 2 months ago
now https://github.com/leanprover/lean-action/pull/61 is merged!
resolve #16
now https://github.com/leanprover/lean-action/pull/61 is merged!
resolve #16