This repository has been archived by the owner on Aug 24, 2024. It is now read-only.

fix: handle lakefile.toml#58

Merged

mhuisi merged 1 commit intoleanprover:mainfrom gaetanserre:main

Jul 18, 2024

+4-2

Commits on Jul 18, 2024

fix: handle lakefile.toml
gaetanserre
committed