Jenkins: pin emscripten version (#26339)

This would match GitHub action and hopefully fix CI.
This commit is contained in:
Julian Oes 2026-01-26 09:56:17 +13:00 committed by GitHub
parent 1cfab8feb2
commit fad4450d7d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

1
Jenkinsfile vendored
View File

@ -101,6 +101,7 @@ pipeline {
echo $0;
git clone https://github.com/emscripten-core/emsdk.git _emscripten_sdk;
cd _emscripten_sdk;
git checkout 4.0.15;
./emsdk install latest;
./emsdk activate latest;
cd ..;