Fix commit SHA in artifact name for PR builds

Author: cknitt

.github/workflows/ci.yml

@@ -123,7 +123,7 @@ jobs:
 
     - name: Store short commit SHA for filename
       id: vars
-      run: echo "::set-output name=sha_short::$(git rev-parse --short HEAD)"
+      run: echo "::set-output name=sha_short::${${{ github.event.pull_request.head.sha || github.sha }}:0:7}"
 
     - name: Package Extension
       run: npx vsce package -o rescript-vscode-${{ steps.vars.outputs.sha_short }}.vsix