chore: v0.1.13.dev1 dev release

[rasdani]

Summary

• Bump version from 0.1.12 to 0.1.13.dev1
• Add release notes covering changes since v0.1.12

Changes since v0.1.12

• feat: add SWELego-Real TaskSet (PrimeIntellect fork, filtered upstream) (add SWELego-Real TaskSet (PrimeIntellect fork, filtered upstream) #1149)
• feat: add timeout_minutes kwarg to R2E / SWEBench / Multi-SWE / OpenSWE tasksets (add timeout_minutes kwarg to R2E / SWEBench / Multi-SWE / OpenSWE tasksets #1171)
• fix: surface agent timeout as state['error'] in CliAgentEnv (fix: surface agent timeout as state['error'] in CliAgentEnv #1170)
• fix: honor self.poll_interval in CliAgentEnv poll loop (cli_agent_env: honor self.poll_interval in poll loop #1173)
• chore: bump prime-sandboxes to 0.2.20 (bump prime-sandboxes to 0.2.20 #1174)

Linked PRs

• add SWELego-Real TaskSet (PrimeIntellect fork, filtered upstream) #1149
• add timeout_minutes kwarg to R2E / SWEBench / Multi-SWE / OpenSWE tasksets #1171
• fix: surface agent timeout as state['error'] in CliAgentEnv #1170
• cli_agent_env: honor self.poll_interval in poll loop #1173
• bump prime-sandboxes to 0.2.20 #1174

🤖 Generated with Claude Code

---

Note

Low Risk
Low risk: this PR only bumps the package version and adds a release-notes markdown file, with no runtime logic changes.

Overview
Bumps verifiers version from 0.1.12 to 0.1.13.dev1.

Adds assets/release/RELEASE_v0.1.13.dev1.md documenting highlights and linked PRs included in the v0.1.13.dev1 dev release.

^{Reviewed by Cursor Bugbot for commit d9941f6. Bugbot is set up for automated code reviews on this repo. Configure here.}