ci: tweak
This commit is contained in:
		
							parent
							
								
									ddba9f6ce4
								
							
						
					
					
						commit
						cf95fc7abf
					
				
							
								
								
									
										4
									
								
								.github/workflows/linux.yml
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										4
									
								
								.github/workflows/linux.yml
									
									
									
									
										vendored
									
									
								
							| @ -119,8 +119,8 @@ jobs: | ||||
|     - name: Skip remaining CI steps if latest commit message begins with ; | ||||
|       run: | | ||||
|         echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog \ | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) \ | ||||
|           || ( echo "could not identify commit range, continuing CI steps") | ||||
| 
 | ||||
|     # things to be cached/restored: | ||||
|  | ||||
							
								
								
									
										4
									
								
								.github/workflows/mac.yml
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										4
									
								
								.github/workflows/mac.yml
									
									
									
									
										vendored
									
									
								
							| @ -76,8 +76,8 @@ jobs: | ||||
|     - name: Skip remaining CI steps if latest commit message begins with ; | ||||
|       run: | | ||||
|         echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog \ | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) \ | ||||
|           || ( echo "could not identify commit range, continuing CI steps") | ||||
| 
 | ||||
|     # things to be cached/restored: | ||||
|  | ||||
							
								
								
									
										4
									
								
								.github/workflows/push.yml
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										4
									
								
								.github/workflows/push.yml
									
									
									
									
										vendored
									
									
								
							| @ -87,8 +87,8 @@ jobs: | ||||
|     - name: Skip remaining CI steps if latest commit message begins with ; | ||||
|       run: | | ||||
|         echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog \ | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) \ | ||||
|           || ( echo "could not identify commit range, continuing CI steps") | ||||
| 
 | ||||
|     # things to be cached/restored: | ||||
|  | ||||
							
								
								
									
										4
									
								
								.github/workflows/windows.yml
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										4
									
								
								.github/workflows/windows.yml
									
									
									
									
										vendored
									
									
								
							| @ -70,8 +70,8 @@ jobs: | ||||
|     - name: Skip remaining CI steps if latest commit message begins with ; | ||||
|       run: | | ||||
|         echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) | ||||
|         (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog \ | ||||
|           && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV)) \ | ||||
|           || ( echo "could not identify commit range, continuing CI steps") | ||||
| 
 | ||||
|     # things to be cached/restored: | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user