From 042b3b86a3a9ffb9dfa9fdd031d16cca8e05dbc7 Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Mon, 5 Dec 2022 17:12:32 +0100
Subject: [PATCH] Add EVM shanghai environment variable

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

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