From 399b829b16b3bc0859b3fa7e978362a44e47e937 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Thu, 14 Nov 2024 10:01:34 +0000
Subject: [PATCH] chore(deps): update dependency ut-issl/s2e-core to v8

---
 .github/workflows/build_with_s2e.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: