update pyodide.yml

Author: rhelmot

.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: |