diff --git a/.circleci/config.yml b/.circleci/config.yml index 6010a954e..be88ea869 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -47,7 +47,7 @@ jobs: - restore_cache: 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 - v1-emsdk- @@ -60,7 +60,7 @@ jobs: - save_cache: paths: - ./emsdk/emsdk - key: v1-emsdk-{{ checksum "emsdk/Makefile" }}-v2 + key: v1-emsdk-{{ checksum "emsdk/Makefile" }}-v3 - run: name: test diff --git a/src/pyodide.js b/src/pyodide.js index d104e4619..6b8e34cad 100644 --- a/src/pyodide.js +++ b/src/pyodide.js @@ -75,6 +75,7 @@ var languagePluginLoader = new Promise((resolve, reject) => { Module.noAudioDecoding = true; let isFirefox = navigator.userAgent.toLowerCase().indexOf('firefox') > -1; if (isFirefox) { + console.log("Skipping wasm decoding"); Module.noWasmDecoding = true; }