ci: enable ShellCheck to run on push events

Author: jamacku

.github/workflows/differential-shellcheck.yml

@@ -2,6 +2,7 @@
 
 name: Differential ShellCheck
 on:
+  push:
   pull_request:
     branches: [ main ]
 
@@ -22,7 +23,15 @@ jobs:
         with:
           fetch-depth: 0
 
-      - name: Differential ShellCheck
+      - id: ShellCheck
+        name: Differential ShellCheck
         uses: redhat-plumbers-in-action/differential-shellcheck@v4
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
+
+      - if: ${{ always() }}
+        name: Upload artifact with ShellCheck defects in SARIF format
+        uses: actions/upload-artifact@v3
+        with:
+          name: Differential ShellCheck SARIF
+          path: ${{ steps.ShellCheck.outputs.sarif }}