change github CI

andrea-mattioli · Jan 31, 2024 · f34fadc · f34fadc
1 parent 31eadd9
commit f34fadc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -64,7 +64,7 @@ jobs:
     needs:
       - code-quality
     runs-on: ubuntu-latest
-    if: github.event_name == 'pull_request' || github.event_name == 'push'
+    if: github.event_name == 'pull_request'
     steps:
       - name: 📥 Checkout the repository
         uses: actions/checkout@v4
@@ -79,7 +79,7 @@ jobs:
         uses: gavv/pull-request-artifacts@v2
         with:
           # Commit hash that triggered PR
-          commit: ${{ github.sha }}
+          commit: ${{ github.event.pull_request.head.sha }}
 
           # Token for current repo (used to post PR comment)
           repo-token: ${{ secrets.GITHUB_TOKEN }}