ci: add a way to push metrics report in PR (#443)

* ci: add a way to push metrics report in PR Signed-off-by: Jérémie Drouet <[email protected]> * ci: pass base_ref as parameter Signed-off-by: Jérémie Drouet <[email protected]> * ci: remove base_ref variable Signed-off-by: Jérémie Drouet <[email protected]> * fix: fetch main branch Signed-off-by: Jérémie Drouet <[email protected]> * ci: trigger build Signed-off-by: Jérémie Drouet <[email protected]> --------- Signed-off-by: Jérémie Drouet <[email protected]>
jdrouet · Jun 30, 2024 · 4b0b07d · 4b0b07d
1 parent b28caff
commit 4b0b07d
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/mrml-cli-main.yml b/.github/workflows/mrml-cli-main.yml
@@ -60,6 +60,8 @@ jobs:
 
     steps:
       - uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
       - uses: jdrouet/action-install-git-metrics@main
       - uses: jdrouet/action-git-identity@main
 
@@ -89,6 +91,10 @@ jobs:
         uses: jdrouet/action-execute-git-metrics@main
         continue-on-error: true
         with:
-          sync: true
+          pull: true
+          push: ${{ github.event_name == 'push' }}
           script: |
             add binary-size --tag "name: mrml-cli" --tag "platform.os: linux" --tag "platform.arch: x86_64" ${{ steps.binary-size.outputs.value }}
+
+      - uses: jdrouet/action-report-git-metrics@main
+        if: ${{ github.event_name == 'pull_request' }}