功能请求: SharedArrayBuffer 支持
作者: andy0130tw创建于 2026年3月7日更新于 2026年8月7日
我已经基于 WASM 发布了 Agda 的语言服务。它在桌面和网页上的 VS Code 中都运行正常（vscode.dev）。但在 github1s 上，由于不具备跨源隔离功能，它无法运行。要重现此问题，请执行以下操作：
内容来源: conwnet/github1s
我已经基于 WASM 发布了 Agda 的语言服务。它在桌面和网页上的 VS Code 中都运行正常（vscode.dev）。但在 github1s 上，由于不具备跨源隔离功能，它无法运行。要重现此问题，请执行以下操作：
内容来源: conwnet/github1s