Dr.d.d
Dr.d.d
> I updated LeanCopilot to support recent versions of Lean. Could you please re-try and see if the error still persists? I have re-try,but the error still persists. ☹️ ```bash...
> I updated LeanCopilot to support recent versions of Lean. Could you please re-try and see if the error still persists? Can you try it with Ubuntu22.04 Linux? I think...
Thank you for your reply. I have reinstalled Ubuntu22.04, and the system environment is relatively clean. Many other questioners should have had the same problem as me.
> @6AlexMan Have you solved it?It is really annoying. :-( The problem has not been solved
Thanks for your reply > Hi! I can confirm the behaviour und could track it down further. My explaination goes as follows: > > * Lake/Lean make great use of...
> [@eliasgranderubio](https://github.com/eliasgranderubio) help me check issue, many thanks I also encountered the same problem as you, but I have already solved it. # 0x01 Solution Based on the error log...
> ### **Short description** > > Evaluate Dagda. for image scan , > > ### **Reproduction steps** > > Follow every step (pre-requisites) to install and start dagda: Python3, MongoDB,...
you can `python3 dagda.py vuln --init_status` to check db init status. :)
> [@tbdavid94](https://github.com/tbdavid94) Thank you for your comment. Yes, The same message occurs in my environment. And logs is pretty much the same as you. > > And, in the log...