PR #13161 Dev: helper to download build tools from S3 buckets

Dev: helper to download build tools from S3 buckets #13161

humitos wants to merge 2 commits into main from humitos/build-tools-download-script

Dev: helper to download build tools from S3 buckets

e8ee9aac

humitos requested a review 35 days ago

humitos requested a review from

stsewd 35 days ago

Add script for local prune old versions that are not allowed anymore

b5b592c4

Reviewers

stsewd

Assignees

No one assigned

Labels

None yet

Milestone

No milestone