Upgrade SpiderMonkey to ESR 115

2024-10-25 10:22:43 +02:00
parent cc72142205
commit 0de5f2fb25
19 changed files with 103 additions and 147 deletions
@@ -27,8 +27,8 @@ pipeline {

 	agent {
 		node {
-			label 'macOSAgent'
-			customWorkspace 'workspace/clang10'
+			label 'macOSAgentVentura'
+			customWorkspace 'workspace/clang13'
 		}
 	}