From df70acc33702b13cdd536d954409fd57d796f8e6 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Thu, 12 Dec 2024 17:59:54 +0000
Subject: [PATCH] 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..2671355eb 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.3
 
 jobs:
   build_s2e_win: