Kristian Haugene
							
						 
					 | 
					
						
						
							
						
						71f9a7eb64
					 | 
					
						
						
							
							Update CircleCI config with release tag builds
						
						
						
						
						
						
					 | 
					
						2020-02-02 19:28:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kristian Haugene
							
						 
					 | 
					
						
						
							
						
						cb89eb4e6a
					 | 
					
						
						
							
							New tactic to stop builds triggering on gh-pages branch
						
						
						
						
						
						
					 | 
					
						2019-10-13 18:46:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kristian Haugene
							
						 
					 | 
					
						
						
							
						
						4c24d2e382
					 | 
					
						
						
							
							Stop builds triggering on commits to gh-pages branch
						
						
						
						
						
						
					 | 
					
						2019-10-13 18:33:55 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kristian Haugene
							
						 
					 | 
					
						
						
							
						
						e76a53adc8
					 | 
					
						
						
							
							Add name for CircleCI commits
						
						
						
						
						
						
					 | 
					
						2019-10-13 18:16:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kristian Haugene
							
						 
					 | 
					
						
						
							
						
						f0060d10dd
					 | 
					
						
						
							
							Forgot to do code checkout
						
						
						
						
						
						
					 | 
					
						2019-10-13 18:00:08 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kristian Haugene
							
						 
					 | 
					
						
						
							
						
						badbe96b1c
					 | 
					
						
						
							
							Adding CircleCI build for documentation
						
						
						
						
						
						
					 | 
					
						2019-10-13 17:58:49 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kristian Haugene
							
						 
					 | 
					
						
						
							
						
						90134c7bba
					 | 
					
						
						
							
							Using CircleCI to build arm images instead of Docker hub
						
						
						
						
						
						
					 | 
					
						2019-07-07 17:54:51 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |