mirror of https://github.com/pyodide/pyodide.git
Update emsdk cache version
This commit is contained in:
parent
075ffca0e2
commit
250c3e4d8b
|
@ -47,7 +47,7 @@ jobs:
|
||||||
|
|
||||||
- restore_cache:
|
- restore_cache:
|
||||||
keys:
|
keys:
|
||||||
- v1-emsdk-{{ checksum "emsdk/Makefile" }}-v2
|
- v1-emsdk-{{ checksum "emsdk/Makefile" }}-v3
|
||||||
# fallback to using the latest cache if no exact match is found
|
# fallback to using the latest cache if no exact match is found
|
||||||
- v1-emsdk-
|
- v1-emsdk-
|
||||||
|
|
||||||
|
@ -60,7 +60,7 @@ jobs:
|
||||||
- save_cache:
|
- save_cache:
|
||||||
paths:
|
paths:
|
||||||
- ./emsdk/emsdk
|
- ./emsdk/emsdk
|
||||||
key: v1-emsdk-{{ checksum "emsdk/Makefile" }}-v2
|
key: v1-emsdk-{{ checksum "emsdk/Makefile" }}-v3
|
||||||
|
|
||||||
- run:
|
- run:
|
||||||
name: test
|
name: test
|
||||||
|
|
|
@ -75,6 +75,7 @@ var languagePluginLoader = new Promise((resolve, reject) => {
|
||||||
Module.noAudioDecoding = true;
|
Module.noAudioDecoding = true;
|
||||||
let isFirefox = navigator.userAgent.toLowerCase().indexOf('firefox') > -1;
|
let isFirefox = navigator.userAgent.toLowerCase().indexOf('firefox') > -1;
|
||||||
if (isFirefox) {
|
if (isFirefox) {
|
||||||
|
console.log("Skipping wasm decoding");
|
||||||
Module.noWasmDecoding = true;
|
Module.noWasmDecoding = true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue