Dependency Dashboard

[renovate]

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

Config Migration Needed

• Select this checkbox to let Renovate create an automated Config Migration PR.

Repository problems

These problems occurred while renovating this repository. View logs.

• WARN: File contents are invalid JSON but parse using JSON5. Support for this will be removed in a future release so please change to a support .json5 file name or ensure correct JSON syntax.

Open

These updates have all been created already. Click a checkbox below to force a retry/rebase of any.

• Update dependency ut-issl/s2e-aobc to v5.0.4
• Update actions/checkout action to v4.2.2
• Update python Docker tag to v3.13
• Update arkedge/workflows-c2a action to v6
• Click on this checkbox to rebase all open PRs at once

Detected dependencies

github-actions

.github/workflows/actionlint.yml

• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• reviewdog/action-actionlint v1

.github/workflows/build.yml

• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• ilammy/msvc-dev-cmd v1
• actions/cache v4
• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• actions/cache v4
• windows 2022

.github/workflows/c2a.yml

• arkedge/workflows-c2a v4.5.3

.github/workflows/labeler.yml

• actions/checkout v4.1.5@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
• crazy-max/ghaction-github-labeler v5

pyenv

.github/workflows/.python-version

• python 3.12

regex

.github/workflows/build.yml

• ut-issl/s2e-aobc 5.0.0

---

• Check this box to trigger a request for Renovate to run again on this repository