Wasmtime GitHub notifications bot (May 25 2021 at 17:42): Wasmtime GitHub notifications bot (May 25 2021 at 17:42):alexcrichton commented on issue #2936:
It's true yeah that
devrequires a good deal of management. I personally think it's pretty nice to have though. This JS gob I think is the only complexity in managing that and the previous gob rarely changed until now.As for usage, I personally find it useful from time to time to browse the current state of the release. I've also configured language bindings like wasmtime-{py,go} to all pull from the dev releases in their own CI to ensure they work with tip-of-tree.
Overall I don't think it's worth contorting ourselves too much, but if the current
ifdoesn't get much more sprawling I think it's reasonable.
Wasmtime GitHub notifications bot (May 25 2021 at 17:52):alexcrichton commented on issue #2936:
I'm gonna go ahead and merge to start testing this with live commits. I tested on my local repo so I think it shoud work but things always change...
If this becomes flaky over time I can make the error checks more precise, and we can always remove the
devrelease for something else in the future if it causes too much overhead.
Last updated: Dec 23 2024 at 12:05 UTC