|  | 09f2328c03 | Update Jenkinsfile | 2023-12-02 10:07:50 +01:00 |  | 
			
				
					|  | 5ad1079789 | update Jenkinsfile | 2021-09-18 16:39:06 +02:00 |  | 
			
				
					|  | 790abf75c3 | add removal of bincrafter | 2021-09-18 12:52:51 +02:00 |  | 
			
				
					|  | e88f763603 | fix wrong conan repo address | 2021-09-18 12:31:57 +02:00 |  | 
			
				
					|  | a5ae4d5494 | fix remote setting for minres conan repo | 2021-09-18 12:23:35 +02:00 |  | 
			
				
					|  | a82d6e408b | add ubuntu-20.04 in Jenkins setup | 2020-08-07 09:44:47 +02:00 |  | 
			
				
					|  | 3cdc7431ad | „Jenkinsfile“ ändern | 2020-06-23 18:24:55 +02:00 |  | 
			
				
					|  | 744db33d41 | parallel jenkins setup | 2020-06-23 18:19:12 +02:00 |  | 
			
				
					|  | 2552973c15 | Initial Jenkins setup | 2020-06-23 16:46:24 +02:00 |  |