name: CodeQL configuration