search

leanprover / lean-action

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

feat: bump functional_tests.yml default version to 4.10.0 #81

Closed austinletson closed 2 months ago