Bump github/codeql-action from 4.31.6 to 4.31.7#1030

smorimoto merged 1 commit intomasterocaml/setup-ocaml:masterfrom

dependabot/github_actions/github/codeql-action-4.31.7ocaml/setup-ocaml:dependabot/github_actions/github/codeql-action-4.31.7Copy head branch name to clipboard