Closed rodrigodelazcano closed 2 years ago
This PR migrates to the new package name, from gym_minigrid to minigrid
gym_minigrid
minigrid
Please delete options that are not relevant.
pre-commit
pre-commit run --all-files
CONTRIBUTING.md
Description
This PR migrates to the new package name, from
gym_minigrid
tominigrid
Type of change
Please delete options that are not relevant.
Checklist:
pre-commit
checks withpre-commit run --all-files
(seeCONTRIBUTING.md
instructions to set it up)