diff --git a/.circleci/config.yml b/.circleci/config.yml
index c987fa5b5..1f3716b8f 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1048,6 +1048,7 @@ jobs:
     <<: *eof_ubuntu2204_small
     environment:
       CMAKE_OPTIONS: -DUSE_CVC4=OFF
+      EVM: "shanghai"
     parallelism: 50
     steps:
       - run: