Add EVM shanghai environment variable

This commit is contained in:
Rodrigo Q. Saramago 2022-12-05 17:12:32 +01:00 committed by Daniel Kirchner
parent b810570c5c
commit 042b3b86a3

View File

@ -1046,6 +1046,7 @@ jobs:
<<: *eof_ubuntu2204_small
environment:
CMAKE_OPTIONS: -DUSE_CVC4=OFF
EVM: "shanghai"
parallelism: 50
steps:
- run: