I also have a Lean project created using lake which is linked to GitHub and I have also configured GitHub pages.
Welcome to Lean blueprint
Traceback (most recent call last):
File "/home/user/.local/bin/leanblueprint", line 8, in <module>
sys.exit(safe_cli())
File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 554, in safe_cli
handle_exception(err, str(err))
File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 173, in handle_exception
raise exc
File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 552, in safe_cli
cli() # pylint: disable=no-value-for-parameter
File "/home/user/.local/lib/python3.10/site-packages/rich_click/rich_command.py", line 367, in __call__
return super().__call__(*args, **kwargs)
File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 1157, in __call__
return self.main(*args, **kwargs)
File "/home/user/.local/lib/python3.10/site-packages/rich_click/rich_command.py", line 152, in main
rv = self.invoke(ctx)
File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 1688, in invoke
return _process_result(sub_ctx.command.invoke(sub_ctx))
File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 1434, in invoke
return ctx.invoke(self.callback, **ctx.params)
File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 783, in invoke
return __callback(*args, **kwargs)
File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 311, in new
m = next(m for m in map(lambda p: re.match(p, url), patterns) if m is not None)
StopIteration
I have installed graphviz via
sudo apt install graphviz libgraphviz-devand installed leanblueprint via pip.I also have a Lean project created using lake which is linked to GitHub and I have also configured GitHub pages.
Upon running
leanblueprint newfrom within the project repository the output is simplyRunning
leanblueprint --debug newyields