ci: run the pipeline on benchmark host(temporary)

markoburcul · markoburcul · commit d0cc7418924c · 2025-10-08T14:32:37.000+02:00
diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
@@ -10,7 +10,7 @@ library 'status-jenkins-lib@v1.9.2'
 
 pipeline {
   /* This way we run the same Jenkinsfile on different platforms. */
-  agent { label params.AGENT_LABEL }
+  agent { label 'benchmarkcontainer' }
 
   parameters {
     string(
diff --git a/ci/Jenkinsfile.linux b/ci/Jenkinsfile.linux
@@ -11,7 +11,7 @@ library 'status-jenkins-lib@v1.9.2'
 pipeline {
   agent {
     dockerfile {
-      label 'linuxcontainer'
+      label 'benchmarkcontainer'
       filename 'linux.Dockerfile'
       dir 'ci'
       args '--volume=/nix:/nix ' +
