| 
						
					 | 
					
						
						
							
						
						287bedc287
					 | 
					
						
						
							
							ci: disable undesirable linters in the code linter GitHub action
						
						
						
						
						
						
					 | 
					
						2024-08-17 12:25:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ab6a3bbe7
					 | 
					
						
						
							
							ci: bump Super-linter to 7.0.0
						
						
						
						
						
						
					 | 
					
						2024-08-16 09:16:21 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						44a4e69a62
					 | 
					
						
						
							
							ci: restrict the CI actions permissions
						
						
						
						
						
						
					 | 
					
						2024-08-15 13:50:01 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f3773f724a
					 | 
					
						
						
							
							ci: rename the conventional PRs action job
						
						
						
						
						
						
					 | 
					
						2024-08-15 13:49:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a3ef07cf10
					 | 
					
						
						
							
							fix: formatting
						
						
						
						
						
						
					 | 
					
						2024-08-15 13:49:11 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1d7d9292c1
					 | 
					
						
						
							
							ci: make the conventional commits and PR actions more consistent
						
						
						
						
						
						
					 | 
					
						2024-08-15 12:42:25 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						261cf31e61
					 | 
					
						
						
							
							ci: add a GitHub action for code linting
						
						
						
						
						
						
					 | 
					
						2024-08-15 12:42:00 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						677cea1cd2
					 | 
					
						
						
							
							ci: make the commit check action run on pull requests based on the type
						
						
						
						
						
						
					 | 
					
						2024-08-15 12:09:55 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0429b068ae
					 | 
					
						
						
							
							ci: add a GitHub action for checking conventional pull requests
						
						
						
						
						
						
					 | 
					
						2024-08-15 12:09:21 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						49d29d6e5f
					 | 
					
						
						
							
							fix: make the action target PRs on the branch main
						
						
						
						
						
						
					 | 
					
						2024-08-15 11:45:59 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7c32ac17dd
					 | 
					
						
						
							
							ci: add a GitHub action for checking conventional commits
						
						
						
						
						
						
					 | 
					
						2024-08-15 11:38:53 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |