From f0c19a461ce82aa8bef8cb894e15c3302a6c682f Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Mon, 29 Jan 2024 08:47:09 +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 647267f4..fcc361f2 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: vv5.0.3 jobs: build_c2a_with_s2e_win: