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