chore(deps): bump the codeql-action group with 3 updates#75

iperev merged 1 commit into

mainresearch-engineering/agentic-proofkit:mainfrom

dependabot/github_actions/codeql-action-3d2ef569aeresearch-engineering/agentic-proofkit:dependabot/github_actions/codeql-action-3d2ef569aeCopy head branch name to clipboard