Tests: Switch back to original mirror and add curl verbose

This commit just aims at running the tests on the original FreeFem repo to see
wether ljll mirror works.

Author: simonlegrand

.github/workflows/full-mpich.yml

@@ -7,9 +7,9 @@ on:
       - develop
       - master
 
-  # pull_request:
-  #   branches:
-  #     - develop
+  pull_request:
+    branches:
+      - develop
 
   # For development phase
   workflow_dispatch:

.github/workflows/full-msmpi.yml

@@ -7,9 +7,9 @@ on:
       - develop
       - master
 
-  # pull_request:
-  #   branches:
-  #     - develop
+  pull_request:
+    branches:
+      - develop
 
 # For development phase
   workflow_dispatch:

.github/workflows/full-openmpi.yml

@@ -7,9 +7,9 @@ on:
       - develop
       - master
 
-  # pull_request:
-  #   branches:
-  #     - develop
+  pull_request:
+    branches:
+      - develop
 
   # For development phase
   workflow_dispatch:

.github/workflows/minimal.yml

@@ -5,9 +5,9 @@ on:
       - develop
       - master
 
-  # pull_request:
-  #   branches:
-  #     - develop
+  pull_request:
+    branches:
+      - develop
 
   # For development phase
   workflow_dispatch:

.github/workflows/sequential.yml

@@ -6,9 +6,9 @@ on:
       - develop
       - master
 
-  # pull_request:
-  #   branches:
-  #     - develop
+  pull_request:
+    branches:
+      - develop
 
   # For development phase
   workflow_dispatch:

3rdparty/getall

@@ -266,7 +266,7 @@ sub downloadone{
 	system $cmd;
 	if($?){
 		print "Download failed from $url of $pkg\n";
-		my $url="https://joliv.et/freefem/pkg/$pkg";
+		my $url="https://www.ljll.fr/hecht/pkg/$pkg";
 		my $cmd="../bin/build/download $url pkg/$pkg $opts";
 		print "Try other site: $url\n";
 		system $cmd;
@@ -286,7 +286,7 @@ sub downloadone{
 	my $md5check=md5_hex(`cat pkg/$pkg`);
 	if( ( $md5 ne "none") && ($md5check ne $md5)){
 		print "Download failed (MD5 check $md5check ) from $url of $pkg\n";
-		my $url="https://joliv.et/freefem/pkg/$pkg";
+                my $url="https://www.ljll.fr/hecht/pkg/$pkg";
 		my $cmd="../bin/build/download $url pkg/$pkg $opts";
 		print "Try other site: $url\n";
 		system $cmd;

bin/build/download

@@ -44,7 +44,7 @@ then
     ret=$?
 elif test -x /usr/bin/curl
 then
-    curl -L "$1" --output "$2" --connect-timeout 30
+    curl -L "$1" --output "$2" --connect-timeout 30 -v
     ret=$?
 
 elif test -x /usr/bin/GET