CI: fix contracts fuzz tests

- Update flake.lock to get a foundry bugfix that enables fixes inline config: foundry-rs/foundry#7431 - Only set `RAYON_NUM_THREADS` in prover. Foundry also uses it to set how many tests run in parallel. In addition it sets parallelism for `diff-test` which is run by foundry tests.
EspressoSystems · Apr 23, 2024 · 34351b9 · 34351b9
1 parent 461373d
commit 34351b9
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 5 deletions.
diff --git a/.env b/.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

diff --git a/docker-compose.yaml b/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

diff --git a/flake.lock b/flake.lock
diff --git a/process-compose.yaml b/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