Try cURLing from gnu mirror

GillianPlatform · Aug 4, 2023 · 43a98aa · 43a98aa
1 parent b86907b
commit 43a98aa
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,4 +16,8 @@ jobs:
     runs-on: ${{ matrix.operating-system }}
     steps:
       - name: Try runnning curl to get esy-gmp
-        run:  curl --silent --connect-timeout 60 --retry 3 --retry-delay 5 --fail --location https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz --output gmp.tar.xz --write-out '\n%{http_code}'
+        run: |
+          whoami
+          pwd
+          curl --silent --connect-timeout 60 --retry 3 --retry-delay 5 --fail --location https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz --output gmp.tar.xz --write-out '\n%{http_code}'
+          echo Code: $?