feat: add a step that logs the version of lake and lean#24
Merged
austinletson merged 9 commits intoleanprover:mainfrom oliver-butterley:log-infoMay 19, 2024
+3
Commits
Commits on May 16, 2024
- committed
- committed
- committed
- committed
- committed
Commits on May 17, 2024
Commits on May 19, 2024
- committed
- committed