Method build

lean_py/project.py:130–132

Run ``lake build`` in the managed project.

(self)

        return inst

    def build(self) -> None:
        """Run ``lake build`` in the managed project."""
        run_command(["lake", "build"], cwd=str(self._dir))

    def library(self) -> LeanLibrary:
        """Build and return a :class:`LeanLibrary` for this project."""