Skip to content
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

Download zip Boost archive on Windows instead of exe #493

Merged
merged 1 commit into from
May 13, 2022

Conversation

bernhardmgruber
Copy link
Member

@bernhardmgruber bernhardmgruber commented May 10, 2022

This is around 3 times faster.

@codecov
Copy link

codecov bot commented May 10, 2022

Codecov Report

Merging #493 (095d0a1) into develop (ad271cb) will decrease coverage by 0.00%.
The diff coverage is n/a.

❗ Current head 095d0a1 differs from pull request most recent head e69d991. Consider uploading reports for the commit e69d991 to get more accurate results

@@             Coverage Diff             @@
##           develop     #493      +/-   ##
===========================================
- Coverage    99.24%   99.23%   -0.01%     
===========================================
  Files           63       59       -4     
  Lines         5439     5392      -47     
===========================================
- Hits          5398     5351      -47     
  Misses          41       41              

@bernhardmgruber bernhardmgruber changed the title Download 7z Boost archive on Windows instead of exe Download zip Boost archive on Windows instead of exe May 13, 2022
@bernhardmgruber bernhardmgruber marked this pull request as ready for review May 13, 2022 12:56
@bernhardmgruber bernhardmgruber merged commit a16f5da into alpaka-group:develop May 13, 2022
@bernhardmgruber bernhardmgruber deleted the 7zboost branch May 13, 2022 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant