Fix lakefile.toml template#4901

automergerpr-permission-manager[bot] merged 1 commit intodevelopruntimeverification/k:developfrom

lakefile-fixruntimeverification/k:lakefile-fixCopy head branch name to clipboard