Remove Jenkinsfile used for docs CI
Signed-off-by: Joao Fernandes <joao.fernandes@docker.com>master
							parent
							
								
									4fb6b181cd
								
							
						
					
					
						commit
						a80821295e
					
				| 
						 | 
				
			
			@ -1,8 +0,0 @@
 | 
			
		|||
// Only run on Linux atm
 | 
			
		||||
wrappedNode(label: 'docker') {
 | 
			
		||||
  deleteDir()
 | 
			
		||||
  stage "checkout"
 | 
			
		||||
  checkout scm
 | 
			
		||||
 | 
			
		||||
  documentationChecker("docs")
 | 
			
		||||
}
 | 
			
		||||
		Loading…
	
		Reference in New Issue