Bump mymindstorm/setup-emsdk from 12 to 13

Bumps [mymindstorm/setup-emsdk](https://github.com/mymindstorm/setup-emsdk) from 12 to 13.
- [Release notes](https://github.com/mymindstorm/setup-emsdk/releases)
- [Commits](mymindstorm/setup-emsdk@v12...v13)

---
updated-dependencies:
- dependency-name: mymindstorm/setup-emsdk
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

.github/workflows/enscripten.yaml

@@ -34,7 +34,7 @@ jobs:
         EMSCRIPTEN_VERSION=$(pyodide config get emscripten_version)
         echo "emsdk-version=$EMSCRIPTEN_VERSION" >> $GITHUB_OUTPUT
 
-    - uses: mymindstorm/setup-emsdk@v12
+    - uses: mymindstorm/setup-emsdk@v13
       with:
         version: ${{ steps.compute-emsdk-version.outputs.emsdk-version }}
         actions-cache-folder: emsdk-cache