Port https://github.com/NovaSky-AI/SkyRL/pull/1081 to skyrl folder#1131

pcmoritz merged 2 commits into

NovaSky-AI:mainNovaSky-AI/SkyRL:mainfrom

pcmoritz:port-1081pcmoritz/SkyRL:port-1081Copy head branch name to clipboard