bjorn3 opened this issue 5 months ago · 2 comments
Looking at the wasi-sdk submodules, those should be:
Yeah, currently the process to push tags to wasi-libc when wasi-sdk is released is a very manual one (documented here). I'll push the tags but eventually we should figure out some way to do this automatically.