Hey,
I have tried to boil a documentation for a lean project. Everything is working great until this step :
"lake build YourLibraryName:docs"
and the error is :
"
Some required targets logged failures:
- yalep:srcUri.github
- yalep:srcUri.github
- yalep:srcUri.github
- YALEP:srcUri.github
error: build failed
"
(of course I've change "YourLibraryName" by the correct name)
I verify that "lake build YourLibraryName" exit without an error so I don't know what to do. Can u help me please ?
Regards
Seb