Skip to content

Adding curl retry for external tool downloads#2552

Merged
TingluoHuang merged 3 commits into
actions:mainfrom
mspletz:mspletz/retry-curl-externals
Apr 18, 2023
Merged

Adding curl retry for external tool downloads#2552
TingluoHuang merged 3 commits into
actions:mainfrom
mspletz:mspletz/retry-curl-externals

Update src/Misc/externals.sh

91cdbc6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs