Fix codspeed warning

Fix codspeed warning: a task in repo2rlenv-pr-diff (Harbor dataset). Title: Fix codspeed warning

The task

**Title:** Fix codspeed warning

Part of FineEnvs/repo2rlenv-pr-diff.