Change DEFAULT_CONFIG_FILE_NAME

This commit is contained in:
Michael B. Gale
2026-08-03 15:02:48 +01:00
parent f99dd5aeee
commit 065cdc0394
2 changed files with 2 additions and 2 deletions

2
lib/entry-points.js generated
View File

@@ -148684,7 +148684,7 @@ function parseUserConfig(logger, pathInput, contents, validateConfig) {
}
// src/config/remote-file.ts
var DEFAULT_CONFIG_FILE_NAME = ".github/codeql-action.yaml";
var DEFAULT_CONFIG_FILE_NAME = ".github/codeql-config.yml";
var DEFAULT_CONFIG_FILE_REF = "main";
function getDefaultOwner(env) {
const currentRepoNwo = env.getRequired("GITHUB_REPOSITORY" /* GITHUB_REPOSITORY */);

View File

@@ -16,7 +16,7 @@ export interface RemoteFileAddress {
}
/** The default file path to use in configuration file shorthands. */
export const DEFAULT_CONFIG_FILE_NAME = ".github/codeql-action.yaml";
export const DEFAULT_CONFIG_FILE_NAME = ".github/codeql-config.yml";
/** The default ref to use in configuration file shorthands. */
export const DEFAULT_CONFIG_FILE_REF = "main";