Nathalie Furmento
							
						 | 
						
							
							
								340d322899
							
							update copyright holders
						 | 
						5 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								4930d6ca3d
							
							contrib/ci.inria.fr: limit email recipients
						 | 
						6 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								c802fe8cc0
							
							contrib/ci.inria.fr: limit email recipients
						 | 
						6 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								4ec665b251
							
							contrib/ci.inria.fr: only run windows pipeline once a day + minor changes in build script
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								d46ccff62a
							
							contrib/ci.inria.fr: finalize pipeline for windows
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								dc40d9a0cf
							
							contrib/ci.inria.fr/Jenkinsfile-windows: update artifact archiving
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								f496c9124e
							
							contrib/ci.inria.fr/Jenkinsfile-windows: fix getting stash
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								c2fdb1002b
							
							contrib/ci.inria.fr/Jenkinsfile-windows: update script to list artifact
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								972550fa61
							
							contrib/ci.inria.fr/Jenkinsfile-windows: artefact zip file
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								eda7118f7f
							
							contrib/ci.inria.fr/Jenkinsfile-windows: partly revert last commit
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								1a92832fd7
							
							contrib/ci.inria.fr/Jenkinsfile-windows: send an email
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								0ba6e5a7f9
							
							contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory if environment variable KEEP_WORKING_DIRECTORY is set to true
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								76d3970668
							
							contrib/ci.inria.fr: update windows pipeline
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								6b4e31f2c0
							
							contrib/ci.inria.fr: update Jenkinsfile-windows
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								24594dac42
							
							contrib/ci.inria.fr: update Jenkinsfile-windows
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								0f511e7abf
							
							contrib/ci.inria.fr: update windows pipeline
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								409f559c2c
							
							contrib/ci.inria.fr: update windows file
						 | 
						7 роки тому | 
					
				
					
						
							
								   Nathalie Furmento
							
						 | 
						
							
							
								22cca687dd
							
							contrib/ci.inria.fr: add pipeline for windows
						 | 
						7 роки тому |