diff options
| -rw-r--r-- | scripts/deploy_release.py (renamed from scripts/download_artifacts.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/download_artifacts.py b/scripts/deploy_release.py index 52805738f..52805738f 100644 --- a/scripts/download_artifacts.py +++ b/scripts/deploy_release.py |