diff --git a/.github/workflows/build_with_s2e.yml b/.github/workflows/build_with_s2e.yml index 9fd5559df..a8c9d187c 100644 --- a/.github/workflows/build_with_s2e.yml +++ b/.github/workflows/build_with_s2e.yml @@ -9,7 +9,7 @@ on: env: # renovate: datasource=github-releases depName=ut-issl/s2e-core - S2E_CORE_VERSION: v7.2.9 + S2E_CORE_VERSION: v8.0.0 jobs: build_s2e_win: