CI: fix contracts fuzz tests

.env

@@ -10,8 +10,9 @@ RUST_LOG_FORMAT=full
 ASYNC_STD_THREAD_COUNT=1
 # Rayon is only used occasionally when generating a light client proof. Allow it to use 2 threads to
 # speed up proof generation, but still don't use every available core or else the demo is too
-# heavyweight.
-RAYON_NUM_THREADS=2
+# heavyweight. To avoid interfering with the use of rayon elsewhere we don't set RAYON_NUM_THREADS
+# var directly, but only when running the prover services in demos.
+PROVER_RAYON_NUM_THREADS=2
 
 # Internal port inside container
 ESPRESSO_CDN_SERVER_PORT=40000

docker-compose.yaml

@@ -142,6 +142,7 @@ services:
       - ESPRESSO_SEQUENCER_LIGHTCLIENT_ADDRESS
       - MNEMONIC=$ESPRESSO_SEQUENCER_ETH_MNEMONIC
       - ESPRESSO_SEQUENCER_STATE_PROVER_ACCOUNT_INDEX
+      - RAYON_NUM_THREADS=$PROVER_RAYON_NUM_THREADS
       - RUST_LOG
       - RUST_LOG_FORMAT
       - ASYNC_STD_THREAD_COUNT

process-compose.yaml

@@ -66,6 +66,7 @@ processes:
       - MNEMONIC=$ESPRESSO_SEQUENCER_ETH_MNEMONIC
       - ESPRESSO_SEQUENCER_STAKE_TABLE_CAPACITY=10
       - ESPRESSO_STATE_PROVER_UPDATE_INTERVAL=30s
+      - RAYON_NUM_THREADS=$PROVER_RAYON_NUM_THREADS
     depends_on:
       orchestrator:
         condition: process_healthy