Change jenkins agent (#1176)

Fantom-foundation · Oct 17, 2024 · c535bd7 · c535bd7
1 parent c4f770a
commit c535bd7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent { label 'quick' }
+    agent { label 'x86-4-32-s' }
 
     options {
         timestamps ()
@@ -13,7 +13,7 @@ pipeline {
         ARCHIVE = '--archive --archive-variant s5'
         PRIME = '--update-buffer-size 4000'
         VM = '--vm-impl lfvm'
-        AIDADB = '--aida-db /mnt/aida-db-central/aida-db'
+        AIDADB = '--aida-db /mnt/aida-db-mainnet/aida-db'
         TMPDB = '--db-tmp /mnt/tmp-disk'
         DBSRC = '/mnt/tmp-disk/state_db_carmen_go-file_${TOBLOCK}'
         PROFILE = '--cpu-profile cpu-profile.dat --memory-profile mem-profile.dat --memory-breakdown'