лет назад: 5 · 80909fca45
--- a/contrib/ci.inria.fr/Jenkinsfile-basic
+++ b/contrib/ci.inria.fr/Jenkinsfile-basic
@@ -34,7 +34,7 @@ pipeline
 
																 		{
															
 
																 			steps
															
 
																 			{
															
 
																-				node('autotools')
															
 
																+				node('autotools2')
															
 
																 				{
															
 
																 					checkout scm
															
 
																 					sh 'contrib/ci.inria.fr/job-0-tarball.sh'