update pyodide.yml

Z3Prover · Nov 15, 2024 · 3fed840 · 3fed840
1 parent eab49da
commit 3fed840
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
@@ -37,7 +37,7 @@ jobs:
       run: source ~/emsdk/emsdk_env.sh && cd src/api/python && ~/env/bin/pyodide build --exports whole_archive
 
     - name: Setup env-pyodide
-      run: source ~/emsdk/emsdk_env.sh && ~/env/bin/pyodide venv ~/env-pyodide
+      run: source ~/env/bin/activate && source ~/emsdk/emsdk_env.sh && pyodide venv ~/env-pyodide
 
     - name: Setup z3 wheel
       run: |