extends configuration to all carmen pipelines

Fantom-foundation · Nov 30, 2024 · 0761e44 · 0761e44
1 parent 2f32b88
commit 0761e44
Show file tree

Hide file tree

Showing 11 changed files with 88 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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']]
+                    )
+                }                
             }
         }