-
Notifications
You must be signed in to change notification settings - Fork 907
Open
Description
I have published Agda's language service based on WASM. It works fine on VS Code on both desktop and the web (vscode.dev). On github1s it fails to run due to not cross-origin isolated.
To reproduce:
- Open https://github1s.com/agda/agda/blob/master/examples/AIM4/bag/Bag.agda.
- Install
banacorn.agda-modeand pressCtrl-C-Ctrl-Lto activate the extension. - It fails with the following message:
Tried to connect with these paths but all failed:
vscode-userdata:/Users/globalStorage/banacorn.agda-mode/dev-als/als.wasm (from DevALS download): WASM connection failed: SharedArrayBuffer is not available in this browser environment. Please serve the web extension with Cross-Origin Opener Policy (COOP) and Cross-Origin Embedder Policy (COEP) headers.
I would like to see if it is possible to make github1s cross-origin isolated: https://developer.mozilla.org/en-US/docs/Web/API/Window/crossOriginIsolated by adding COOP and COEP headers to every response under the same origin.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels