Wasmtime GitHub notifications bot (Feb 26 2021 at 18:25): Wasmtime GitHub notifications bot (Feb 26 2021 at 18:25):github-actions[bot] commented on Issue #2688:
Subscribe to Label Action
cc @peterhuene
<details>
This issue or pull request has been labeled: "wasmtime:api"Thus the following users have been cc'd because of the following labels:
- peterhuene: wasmtime:api
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (Feb 26 2021 at 20:19):peterhuene commented on Issue #2688:
If possible, I'd like to avoid symlinks in the repo for Windows developers (requires admin privs on some versions of Windows or "developer mode" enabled on more recent ones).
Wasmtime GitHub notifications bot (Feb 26 2021 at 20:25):peterhuene edited a comment on Issue #2688:
If possible, I'd like to avoid symlinks in the repo for Windows developers (requires admin privs on some versions of Windows or "developer mode" enabled on more recent ones).
That said, I won't hold this up for the few Wasmtime developers that use Windows. I don't think it's unreasonable to expect those developers to use a fairly recent version of Windows with developer mode enabled.
Wasmtime GitHub notifications bot (Mar 04 2021 at 18:02):alexcrichton commented on Issue #2688:
Nah that's a good point, if I get some time I'll try to write a dedicated README, but for now let's skip the symlinks.
Last updated: Oct 23 2024 at 20:03 UTC