Repository navigation
v0.34.4 — publishing never waits on a git login
An evolve run no longer stalls when git has no login for GitHub. Publishing a candidate used to push with git's own credential setup instead of your gh login; where that had nothing for github.com, git asked for a username in the terminal and the run waited, six and a half hours on one overnight run.
Publishing
- Pushes log in through
gh. The push to yournethackerrepo uses the sameghlogin as every other publish step, so you no longer needgh auth setup-gitor a git credential stored for github.com. - Never waits on a prompt. If a login is missing, the publish step fails at once and the run carries on, keeping the win local.
Under the hood
- Arena rebuilt only because the version bump moves
uv.lock, and classified atARENA_MAJOR=2: nothing on the scoring path changed, so the verified corpus carries over.