LeanDojo icon indicating copy to clipboard operation
LeanDojo copied to clipboard
verified publisher icon lean-dojo

Fix toml parsing

Open sorgfresser opened this issue 8 months ago • 0 comments

If the toml parsing worked, content is not set, and a keyerror is currently raised.

sorgfresser avatar May 08 '25 13:05 sorgfresser