Skip to content
This repository has been archived by the owner on Mar 31, 2023. It is now read-only.

Use risc0 HEAD #39

Closed
tzerrell opened this issue Jan 4, 2023 · 1 comment
Closed

Use risc0 HEAD #39

tzerrell opened this issue Jan 4, 2023 · 1 comment
Assignees

Comments

@tzerrell
Copy link
Member

tzerrell commented Jan 4, 2023

Examples should be based off of HEAD of https://github.com/risc0/risc0 (in part to match https://github.com/risc0/risc0-rust-starter for easier documentation and use; but see also risc0/risc0-rust-starter#24 for general discussion of why to do depend on HEAD)

@tzerrell tzerrell self-assigned this Jan 4, 2023
@tzerrell
Copy link
Member Author

We've instead migrated examples into the main repo, which should accomplish the same goals.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant