-
Notifications
You must be signed in to change notification settings - Fork 45
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
1398 remove default download zip extension #1400
base: develop
Are you sure you want to change the base?
Conversation
amarandon
commented
Nov 14, 2024
•
edited
Loading
edited
- Remove default .zip extensions used when a file to download extension is unknown.
- In HTTPDownload, use the value obtained with _check_product_filename() to set the downloaded file extension.
- remove output_extension from providers.yaml
Test Results 4 files ±0 4 suites ±0 6m 0s ⏱️ +5s Results for commit d490fe4. ± Comparison against base commit eeb8d3b. This pull request removes 1 test.
♻️ This comment has been updated with latest results. |
Code Coverage (Ubuntu)
Diff against develop
Results for commit: d490fe4 Minimum allowed coverage is ♻️ This comment has been updated with latest results |
Code Coverage (Windows)
Diff against develop
Results for commit: d490fe4 Minimum allowed coverage is ♻️ This comment has been updated with latest results |
8001071
to
ab3eddc
Compare