search

leanprover / lean-action

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

chore: upgrade functional test version to 4.13.0 #107

Closed austinletson closed 1 week ago