Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add a sindri clone CLI command #95

Merged
merged 5 commits into from
Mar 21, 2024
Merged

Add a sindri clone CLI command #95

merged 5 commits into from
Mar 21, 2024

Commits on Mar 21, 2024

  1. Regenerate the API.

    @sangaline
    sangaline committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    e3d1570 View commit details
    Browse the repository at this point in the history

  2. Modify circuitDownload to support streaming responses.

    @sangaline
    sangaline committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    32156b8 View commit details
    Browse the repository at this point in the history

  3. Add a rough cut of a clone command.

    @sangaline
    sangaline committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    dadc07d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into ews-add-clone-command

    @sangaline
    sangaline committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    1c08dea View commit details
    Browse the repository at this point in the history

  5. Remove Prover.toml and Verifier.toml from the template `.sindriig… 

    …nore`.
    @sangaline
    sangaline committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    fa161c1 View commit details
    Browse the repository at this point in the history