Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
Integrate
risc0-ethereum
on CI #1525Integrate
risc0-ethereum
on CI #1525Changes from 15 commits
a2ff808
1f13d64
f512624
35bb77f
0d3ec77
bcecdc1
739638b
f3c30f4
bf95f0b
e8b32c1
e45518d
9ac02ed
88a9ae0
6e6f25b
28bce1a
45eea52
d311fe3
991f8e2
7f54cf2
dc217f2
694f3ca
4134207
a57b263
774db5e
d506f33
024066b
a86a8c0
760d628
134959e
b769ee3
fe8d128
4e0cc5a
ef8c545
dcd0dd9
b96a6d4
37e5a95
6820353
5b137a8
4592a59
6eae739
035304d
7df2fb4
bb3ee8f
edf5618
f553639
50c3afd
a402420
ba6a787
323889e
c47c239
75c3c8a
378ab67
8a5f764
384c801
58050b3
8c3c9fe
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is another comment, no action needed at this time: so now that we don't have any sub-modules in risc0, we could consider dropping this workaround. We can still keep it around though