From fad4450d7defeed9faa45ecfdb9ce722dbf81932 Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Mon, 26 Jan 2026 09:56:17 +1300
Subject: [PATCH] Jenkins: pin emscripten version (#26339)

This would match GitHub action and hopefully fix CI.
---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index b8f694e5d6..b6f6d3c98a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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 ..;