Better names, add git info

cta-observatory · Dec 13, 2024 · fdde41c · fdde41c
1 parent bb25945
commit fdde41c
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/.github/workflows/sonar.yml b/.github/workflows/sonar.yml
@@ -25,19 +25,27 @@ jobs:
         run: |
           echo "$GITHUB_CONTEXT"
 
-      - uses: actions/checkout@v4
+      - name: Checkout branch or tag
+        uses: actions/checkout@v4
         if: github.event.workflow_run.event != 'pull_request'
         with:
           repository: ${{ github.event.workflow_run.head_repository.full_name }}
           ref: ${{ github.event.workflow_run.head_branch }}
           fetch-depth: 0
 
-      - uses: actions/checkout@v4
+      - name: Checkout Pull Request merge result
+        uses: actions/checkout@v4
         if: github.event.workflow_run.event == 'pull_request'
         with:
           ref: refs/pull/${{ github.event.workflow_run.pull_requests[0].number }}/merge
           fetch-depth: 0
 
+      - name: Git info
+        run: |
+          git describe
+          git status
+          git log -n 5 --oneline
+
       - name: 'Download code coverage'
         uses: actions/github-script@v7
         with: