Reworked environment page

It’s now easier and faster to set up code execution.

Fixes & improvements

• Added a button to retry failed tasks

• Added indicators to show that the agent runs without network access after setup

• Added options to copy git patches after pushing a PR

• Added support for unicode branch names

• Fixed a bug where secrets were not piped to the setup script

• Fixed creating branches when there’s a branch name conflict.

• Fixed rendering diffs with multi-character emojis.

• Improved error messages when starting tasks, running setup scripts, pushing PRs, or disconnected from GitHub to be more specific and indicate how to resolve the error.

• Improved onboarding for teams.

• Polished how new tasks look while loading.

• Polished the followup composer.

• Reduced GitHub disconnects by 90%.

• Reduced PR creation latency by 35%.

• Reduced tool call latency by 50%.

• Reduced task completion latency by 20%.

• Started setting page titles to task names so Codex tabs are easier to tell apart.

• Tweaked the system prompt so that agent knows it’s working without network, and can suggest that the user set up dependencies.

• Updated the docs.