Improvements during debug session at Inria testbed#216

geonnave wants to merge 2 commits intoDotBots:mainDotBots/PyDotBot:mainfrom

geonnave:debugging-in-arena-04mar2026geonnave/PyDotBot:debugging-in-arena-04mar2026Copy head branch name to clipboard