fix: allow to pick which version to use by only removing platform_version for this version

This commit is contained in:
Remi Cattiau 2024-08-29 21:56:07 -07:00
parent 427878c2d3
commit 05b0430d2d
No known key found for this signature in database
GPG key ID: 44758D9D44CF1F04
3 changed files with 12 additions and 4 deletions

5
dist/setup/index.js vendored
View file

@ -71732,7 +71732,10 @@ function getManifest() {
// Display each tool
manifest.forEach(tool => {
tool.files.forEach(f => {
f.platform_version = undefined;
if (f.platform_version === core.getInput('ignore-platform-version') ||
'all' === core.getInput('ignore-platform-version')) {
f.platform_version = undefined;
}
});
});
}