Alfred Xing
							
						 | 
						
							
							
							
							
							
								
							
							
								8e3ad082e2
								
							
						 | 
						
							
							
								
								Add `set -e` to top of `proof` and `cibuild`
							
							
							
							
							
							
							
							Exit immediately on any non-zero exit code 
							
						 | 
						
							2014-07-16 13:13:45 -07:00 | 
						
					
				
					
						
							
							
								 
								Parker Moore
							
						 | 
						
							
							
							
							
							
								
							
							
								ab66326f97
								
							
						 | 
						
							
							
								
								Cleaning up the cibuild stuff.
							
							
							
							
							
						 | 
						
							2014-07-15 21:53:50 -04:00 | 
						
					
				
					
						
							
							
								 
								Alfred Xing
							
						 | 
						
							
							
							
							
							
								
							
							
								a92fe17ae0
								
							
						 | 
						
							
							
								
								Add script/proof to cibuild
							
							
							
							
							
						 | 
						
							2014-07-15 16:27:53 -07:00 | 
						
					
				
					
						
							
							
								 
								Parker Moore
							
						 | 
						
							
							
							
							
							
								
							
							
								5cfbeeb5d9
								
							
						 | 
						
							
							
								
								Our CI server runs bundle install already. Don't need to do it in script/cibuild.
							
							
							
							
							
						 | 
						
							2014-03-02 13:53:47 -05:00 | 
						
					
				
					
						
							
							
								 
								Parker Moore
							
						 | 
						
							
							
							
							
							
								
							
							
								21cef96b5d
								
							
						 | 
						
							
							
								
								Branding, baby.
							
							
							
							
							
							
							
							Many thanks to http://patorjk.com/software/taag/ for doing the
ASCII art. 😃 
							
						 | 
						
							2014-01-12 14:44:40 -08:00 | 
						
					
				
					
						
							
							
								 
								Parker Moore
							
						 | 
						
							
							
							
							
							
								
							
							
								52a36fefdc
								
							
						 | 
						
							
							
								
								Add script/cibuild.
							
							
							
							
							
						 | 
						
							2014-01-04 14:04:17 -08:00 |