Merge branch 'main' into henrymercer/delete-runner-part-2

This commit is contained in:
Henry Mercer 2022-11-15 19:35:30 +00:00
commit 0dea34e91c
70 changed files with 743 additions and 4870 deletions

View file

@ -513,7 +513,11 @@ export async function getRef(): Promise<string> {
);
}
const ref = refInput || getRequiredEnvParam("GITHUB_REF");
// Workaround for a limitation of Actions dynamic workflows not setting
// the GITHUB_REF in some cases
const maybeCSRef = process.env["CODE_SCANNING_REF"];
const ref = refInput || maybeCSRef || getRequiredEnvParam("GITHUB_REF");
const sha = shaInput || getRequiredEnvParam("GITHUB_SHA");
// If the ref is a user-provided input, we have to skip logic