Merge pull request #455 from tlsfuzzer/coveralls-merge

Try fixing the merge build task for coveralls

Author: tomato42

.github/workflows/ci.yml

@@ -334,11 +334,14 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}
         run: |
+          echo "GITHUB_SHA:" $GITHUB_SHA
+          echo "GITHUB_REF:" $GITHUB_REF
           if [[ "${{ github.event.pull_request }}" ]]; then
             PR_NUM=${GITHUB_REF#refs/pull/}
             PR_NUM=${PR_NUM%/merge}
             BUILD_NUM=${GITHUB_SHA}-PR-${PR_NUM}
           else
             BUILD_NUM=${GITHUB_SHA}
           fi
+          echo "BUILD_NUM:" $BUILD_NUM
           curl -k https://coveralls.io/webhook?repo_token=$COVERALLS_REPO_TOKEN -d "payload[build_num]=${BUILD_NUM}&payload[status]=done"