robojerk/codeql-action

Assert that Windows downloads gzip

Browse source
This commit is contained in:
Henry Mercer 2024-10-10 19:40:37 +01:00
parent eefb943f7e
commit 5b6984ee4d
2 changed files with 11 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.github/workflows/__zstd-bundle.yml generated vendored
View file

@ -31,6 +31,8 @@ jobs:
version: linked version: linked
- os: ubuntu-latest - os: ubuntu-latest
version: linked version: linked
- os: windows-latest
version: linked
name: Zstandard bundle name: Zstandard bundle
permissions: permissions:
contents: read contents: read
@ -107,9 +109,11 @@ jobs:
const toolsUrl = downloadTelemetryNotifications[0].properties.attributes.toolsUrl; const toolsUrl = downloadTelemetryNotifications[0].properties.attributes.toolsUrl;
console.log(`Found tools URL: ${toolsUrl}`); console.log(`Found tools URL: ${toolsUrl}`);
if (!toolsUrl.endsWith('.tar.zst')) { const expectedExtension = process.env['RUNNER_OS'] === 'Windows' ? '.tar.gz' : '.tar.zst';
if (!toolsUrl.endsWith(expectedExtension)) {
core.setFailed( core.setFailed(
`Expected the tools URL to be a .tar.zst file, but found ${toolsUrl}.` `Expected the tools URL to be a ${expectedExtension} file, but found ${toolsUrl}.`
); );
} }
env: env:

7
pr-checks/checks/zstd-bundle.yml
View file

@ -5,6 +5,7 @@ versions:
operatingSystems: operatingSystems:
- macos - macos
- ubuntu - ubuntu
- windows
env: env:
CODEQL_ACTION_ZSTD_BUNDLE: true CODEQL_ACTION_ZSTD_BUNDLE: true
steps: steps:
@ -58,8 +59,10 @@ steps:
const toolsUrl = downloadTelemetryNotifications[0].properties.attributes.toolsUrl; const toolsUrl = downloadTelemetryNotifications[0].properties.attributes.toolsUrl;
console.log(`Found tools URL: ${toolsUrl}`); console.log(`Found tools URL: ${toolsUrl}`);
if (!toolsUrl.endsWith('.tar.zst')) { const expectedExtension = process.env['RUNNER_OS'] === 'Windows' ? '.tar.gz' : '.tar.zst';
if (!toolsUrl.endsWith(expectedExtension)) {
core.setFailed( core.setFailed(
`Expected the tools URL to be a .tar.zst file, but found ${toolsUrl}.` `Expected the tools URL to be a ${expectedExtension} file, but found ${toolsUrl}.`
); );
} }