From fe2726cb4aeac7e675633041d1d0887e5a049770 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Fri, 10 May 2024 14:12:16 +0000 Subject: [PATCH] Update dependency ut-issl/s2e-aobc to v5.0.3 --- .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..4988bf8e 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.3 jobs: build_c2a_with_s2e_win: