conditional push updates

.github/workflows/build.yml

@@ -26,15 +26,16 @@ on:
         required: false
         type: boolean
 
-      skip_push_updates:
-        description: 'skip push updates'
+      ignore_cache:
+        description: 'ignore cache'
         required: false
         type: boolean
 
-      ignore_cache:
-        description: 'ignore cache'
+      skip_push_results:
+        description: 'skip push results'
         required: false
         type: boolean
+
 #  push: 
 #    branches:
 #      - '*'
@@ -115,10 +116,11 @@ jobs:
         run: for d in build/*/*.log; do echo === $d:; cat $d | perl -pe 's/(?:runbundler-)?(\S+?)(?:-1)?[\s|]+(\S+)/$2 $1 /' | sort ; done
 
       - name: Clone and update results repo
+        if: ${{ ! inputs.skip_push_results }}
         run: ./update-results.sh out-results
 
       - name: Push update to results repo
-        if: ${{ ! inputs.skip_push_updates }}
+        if: ${{ ! inputs.skip_push_results }}
         uses: cpina/github-action-push-to-another-repository@main
         env:
           SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }}