diff --git a/.circleci/config.yml b/.circleci/config.yml
index 765680157..8ef249b92 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1048,6 +1048,7 @@ jobs:
     environment:
       CMAKE_OPTIONS: -DUSE_CVC4=OFF
       EVM: "shanghai"
+      SOLTEST_FLAGS: "--eof-version 1"
     parallelism: 50
     steps:
       - run: