name: "CodeQL config" paths-ignore: - tests/format - tests/integration/cli