Jef Roosens
							
						 | 
						
							
							
							
								
								
									
										
									
								
							
							
								
							
								ab418e57b3
								
									
								
							
								
							
						 | 
						
							
							
								
								test: also test with -O3 which can produce extra errors
							
							
							
							
	
		
			
	
		
	
	
		
			
				
	
				ci/woodpecker/pr/lint Pipeline was successful
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/test Pipeline was successful
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/test-mem Pipeline was successful
				
					Details
				
			 
		
	 
							
						 | 
						
							2023-01-26 12:24:34 +01:00 | 
						
					
				
					
						
							
							
								
									
								
								 Jef Roosens
							
						 | 
						
							
							
							
							
								
							
								16b78b8431
								
							
								
							
						 | 
						
							
							
								
								chore: improve ci lint
							
							
							
							
	
		
			
	
		
	
	
		
			
				
	
				ci/woodpecker/pr/lint Pipeline failed
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/test Pipeline was successful
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/test-mem Pipeline failed
				
					Details
				
			 
		
	 
							
						 | 
						
							2023-01-22 13:02:11 +01:00 | 
						
					
				
					
						
							
							
								
									
								
								 Jef Roosens
							
						 | 
						
							
							
							
							
								
							
								0c673a2751
								
							
								
							
						 | 
						
							
							
								
								chore: make lint job check for warnings
							
							
							
							
	
		
			
	
		
	
	
		
			
				
	
				ci/woodpecker/pr/test Pipeline was successful
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/test-mem Pipeline failed
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/lint Pipeline failed
				
					Details
				
			 
		
	 
							
						 | 
						
							2023-01-22 12:46:09 +01:00 | 
						
					
				
					
						
							
							
								
									
								
								 Jef Roosens
							
						 | 
						
							
							
							
							
								
							
								8609769389
								
							
								
							
						 | 
						
							
							
								
								chore: better separate ci jobs
							
							
							
							
	
		
			
	
		
	
	
		
			
				
	
				ci/woodpecker/pr/lint Pipeline was successful
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/test Pipeline was successful
				
					Details
				
			 
		
			
				
	
				ci/woodpecker/pr/test-mem Pipeline failed
				
					Details
				
			 
		
	 
							
						 | 
						
							2023-01-22 12:17:56 +01:00 |