Frank Laub

@hashcashier did this fix your issue?

Is there a test we can write which shows the issue?

I think we should try to use a git ref rather than a branch name so that it's more generic. Some adjustments might need to be made to allow for...

My understanding is that `git clone --branch` only takes branches and tags, but not a commit hash: https://git-scm.com/docs/git-clone#Documentation/git-clone.txt---branchltnamegt > Instead of pointing the newly created HEAD to the branch pointed...

@nategraf is this done with #1762?

The issue here is that GitHub has IP rate limiting. The chance of this goes up a lot due to for example CI builds coming from a single IP (like...

Ooops, just saw that there are more changes than just the URL, re-opening

Note: to build on main you'll need to install `cargo-risczero` from main as well. This situation should be resolved once the next release lands. ``` cargo install --path risc0/cargo-risczero cargo...

This feels like a big can of worms, but if we can figure out how to do this, I'm game.

I think this is done, but if that's not right, please re-open