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
Added wasi-sdk flow #307
Added wasi-sdk flow #307
Changes from 1 commit
ad1ca5e
426b8ff
2525da0
a0cb465
17beb4d
3f2da6c
f38f521
915bc84
90c071d
b1ed769
d5fd0ef
a4b8734
a536b93
bf0e0aa
a443d2c
3f15161
2b441a6
a8e96b4
32e532b
f244f8b
4ab7653
d717f61
2955160
24885c9
1f7ff41
a7d2c77
40a1e89
605ef11
1163a29
1b926d9
ea55666
17e2613
30a53d9
3036bc2
ca26058
e435609
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.
Please rename to
DownloadWasiSdk
. Also I'm not clear if this is necessary when running on docker image with wasi SDK already in place.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.
Updated, now it will download wasi sdk only when needed.
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.
Condition for OS here too. And we can use
<Error
if the url is not set, eg. on windows.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 won't show any errors with downloading the tarball. Add
--fail -S
to thecurl
command.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.
I guess we could do the same improvements on runtime repo
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.
space -> tab