;ci: push: dummy change to trigger a build
This commit is contained in:
		
							parent
							
								
									97d73c7073
								
							
						
					
					
						commit
						cf3229b37c
					
				
							
								
								
									
										1
									
								
								.github/workflows/push.yml
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										1
									
								
								.github/workflows/push.yml
									
									
									
									
										vendored
									
									
								
							| @ -135,3 +135,4 @@ jobs: | |||||||
|       run: | |       run: | | ||||||
|         export PATH=~/.local/bin:$PATH |         export PATH=~/.local/bin:$PATH | ||||||
|         COLUMNS=80 stack exec -- shelltest --execdir -j16 tests -x /bin -x /addons |         COLUMNS=80 stack exec -- shelltest --execdir -j16 tests -x /bin -x /addons | ||||||
|  | 
 | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user