Bump github/codeql-action from 4.37.3 to 4.37.9 in the actions-minor group - #77

Bump github/codeql-action from 4.37.3 to 4.37.9 in the actions-minor group#77

wadoon merged 1 commit into

mainKeYProject/setup-smt:mainfrom

dependabot/github_actions/actions-minor-39eae9928bKeYProject/setup-smt:dependabot/github_actions/actions-minor-39eae9928bCopy head branch name to clipboard