1
0
Fork 0
mirror of https://github.com/actions/setup-python.git synced 2024-11-25 01:38:56 +00:00

feat: add ignore-platform-version option to allow install on debian

This commit is contained in:
Remi Cattiau 2024-08-29 08:48:40 -07:00
parent f677139bbe
commit 427878c2d3
No known key found for this signature in database
GPG key ID: 44758D9D44CF1F04
4 changed files with 57509 additions and 78645 deletions

View file

@ -26,6 +26,10 @@ inputs:
allow-prereleases: allow-prereleases:
description: "When 'true', a version range passed to 'python-version' input will match prerelease versions if no GA versions are found. Only 'x.y' version range is supported for CPython." description: "When 'true', a version range passed to 'python-version' input will match prerelease versions if no GA versions are found. Only 'x.y' version range is supported for CPython."
default: false default: false
ignore-platform-version:
description: "Ignore the platform version to allow usage on Debian"
default: false
required: false
outputs: outputs:
python-version: python-version:
description: "The installed Python or PyPy version. Useful when given a version range as input." description: "The installed Python or PyPy version. Useful when given a version range as input."

67053
dist/cache-save/index.js vendored

File diff suppressed because one or more lines are too long

68122
dist/setup/index.js vendored

File diff suppressed because one or more lines are too long

View file

@ -34,7 +34,18 @@ export async function findReleaseFromManifest(
export async function getManifest(): Promise<tc.IToolRelease[]> { export async function getManifest(): Promise<tc.IToolRelease[]> {
try { try {
return await getManifestFromRepo(); const manifest = await getManifestFromRepo();
if (core.getInput('ignore-platform-version')) {
// Display each tool
manifest.forEach(tool => {
tool.files.forEach(f => {
f.platform_version = undefined;
});
});
}
return manifest;
} catch (err) { } catch (err) {
core.debug('Fetching the manifest via the API failed.'); core.debug('Fetching the manifest via the API failed.');
if (err instanceof Error) { if (err instanceof Error) {