search

leanprover / lean-action

GitHub action for standard CI in Lean projects
Apache License 2.0
14 stars 3 forks source link

fix: correct typo in configuration step #91

Closed austinletson closed 1 month ago

austinletson commented 1 month ago

Closes #90