From 891b64e5e64ace5126fb95c585e1614bb55c521f Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Wed, 29 May 2024 15:29:21 +0000 Subject: [PATCH] Update dependency ut-issl/s2e-aobc to v5.0.4 --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1065004b..fe6ff3b6 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -16,7 +16,7 @@ on: env: # renovate: datasource=github-releases depName=ut-issl/s2e-aobc - S2E_AOBC_VERSION: v5.0.0 + S2E_AOBC_VERSION: v5.0.4 jobs: build_c2a_with_s2e_win: