diff --git a/carmen/race-detection.jenkinsfile b/carmen/race-detection.jenkinsfile
index 884d9b6..e5abf49 100644
--- a/carmen/race-detection.jenkinsfile
+++ b/carmen/race-detection.jenkinsfile
@@ -18,6 +18,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -41,6 +42,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-cpp-file-s3.jenkinsfile b/carmen/validate-cpp-file-s3.jenkinsfile
index d604939..0164fe0 100644
--- a/carmen/validate-cpp-file-s3.jenkinsfile
+++ b/carmen/validate-cpp-file-s3.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-db-reset.jenkinsfile b/carmen/validate-db-reset.jenkinsfile
index 9a8e193..ce7c8fc 100644
--- a/carmen/validate-db-reset.jenkinsfile
+++ b/carmen/validate-db-reset.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(defaultValue: "1000", description: 'How many iterations will script do.', name: 'NumberOfIterations')
         string(defaultValue: "1", description: 'Delay between start of sync process and forced termination (in seconds).', name: 'Window')
         string(defaultValue: "1", description: 'How often will Carmen create checkpoints (in blocks).', name: 'CheckpointGranularity')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-file-s3.jenkinsfile b/carmen/validate-go-file-s3.jenkinsfile
index 48ad5d3..7658fca 100644
--- a/carmen/validate-go-file-s3.jenkinsfile
+++ b/carmen/validate-go-file-s3.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-s4.jenkinsfile b/carmen/validate-go-s4.jenkinsfile
index 612e4b0..72a6af1 100644
--- a/carmen/validate-go-s4.jenkinsfile
+++ b/carmen/validate-go-s4.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-s5-archive.jenkinsfile b/carmen/validate-go-s5-archive.jenkinsfile
index a41bd45..e62b1a0 100644
--- a/carmen/validate-go-s5-archive.jenkinsfile
+++ b/carmen/validate-go-s5-archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-go-s5.jenkinsfile b/carmen/validate-go-s5.jenkinsfile
index 340a977..43c4716 100644
--- a/carmen/validate-go-s5.jenkinsfile
+++ b/carmen/validate-go-s5.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     parameters {
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'AidaVersion')
         string(defaultValue: "main", description: 'Can be either branch name or commit hash.', name: 'CarmenVersion')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -40,6 +41,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-state-toolchain-archive.jenkinsfile b/carmen/validate-state-toolchain-archive.jenkinsfile
index d146996..0855ca7 100644
--- a/carmen/validate-state-toolchain-archive.jenkinsfile
+++ b/carmen/validate-state-toolchain-archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                   
             }
         }
 
diff --git a/carmen/validate-state-toolchain-init-archive.jenkinsfile b/carmen/validate-state-toolchain-init-archive.jenkinsfile
index 8df4296..30111e4 100644
--- a/carmen/validate-state-toolchain-init-archive.jenkinsfile
+++ b/carmen/validate-state-toolchain-init-archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                
             }
         }
 
diff --git a/carmen/validate-state-toolchain-live+archive.jenkinsfile b/carmen/validate-state-toolchain-live+archive.jenkinsfile
index 52df217..432159f 100644
--- a/carmen/validate-state-toolchain-live+archive.jenkinsfile
+++ b/carmen/validate-state-toolchain-live+archive.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                
             }
         }
 
diff --git a/carmen/validate-state-toolchain-live.jenkinsfile b/carmen/validate-state-toolchain-live.jenkinsfile
index 7339c7c..f5c88ee 100644
--- a/carmen/validate-state-toolchain-live.jenkinsfile
+++ b/carmen/validate-state-toolchain-live.jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
         string(name: 'secondBlockHeight', defaultValue: '6000000', description: 'Second block height to import.')
         string(name: 'aidaVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
         string(name: 'carmenVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
+        string(name: 'SonicVersion', defaultValue: "main", description: 'Can be either branch name or commit hash.')
     }
 
     stages {
@@ -37,6 +38,13 @@ pipeline {
                         userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Carmen.git']]
                     )
                 }
+
+                dir('sonic') {
+                    checkout scmGit(
+                        branches: [[name: "${SonicVersion}"]],
+                        userRemoteConfigs: [[url: 'https://github.com/Fantom-foundation/Sonic.git']]
+                    )
+                }                
             }
         }