fix: github script use list instead of view

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

253 stars 105 forks source link

Closed fgdorais closed 4 weeks ago