mirror of https://gitlab.com/tildes/tildes.git
				
				
			
			You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					
					
						
							6 lines
						
					
					
						
							185 B
						
					
					
				
			
		
		
		
			
			
			
		
		
	
	
							6 lines
						
					
					
						
							185 B
						
					
					
				| #!/bin/sh | |
| # | |
| # Pre-commit hook script that ensures type-checking, tests, and fast style checks pass | |
| 
 | |
| vagrant ssh -c ". activate \ | |
|     && invoke type-check test --quiet code-style-check"
 |