From 0ce9ff3adc8b62c91eba9019963e80ca68d781df Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Wed, 29 May 2024 01:40:15 +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: