Fixup

Author: samuelburnham

.github/workflows/bench.yml

@@ -28,7 +28,7 @@ jobs:
         run: |
           # Parse `issue_comment` body
           printf '${{ github.event.comment.body }}' > comment.txt
-          BENCH_COMMAND=$(head -n 1 comment.txt)
+          BENCH_COMMAND=$(head -n 1 comment.txt | tr -d '\r')
           echo "$BENCH_COMMAND"
 
           BENCHES=$(echo $BENCH_COMMAND | awk -F'!benchmark ' '{ print $2 }')
@@ -84,8 +84,6 @@ jobs:
       - name: Run bench on base branch
         run: |
           lake exe ${{ matrix.bench }}
-          ls
-          ls .lake/benches/*
         working-directory: ${{ github.workspace }}/base
       - name: Checkout PR branch
         uses: actions/checkout@v5
@@ -105,15 +103,13 @@ jobs:
       - name: Run bench on PR branch and generate comparison report
         run: |
           BENCH_REPORT=1 lake exe ${{ matrix.bench }}
-          ls
-          ls .lake/benches/*
         working-directory: ${{ github.workspace }}/pr
       - name: Get env for PR body
         if: always()
         run: |
           SHORT_SHA_PR=$(git rev-parse --short HEAD)
           REPO_URL=${{ github.server_url }}/${{ github.repository }}
-          echo "COMMIT_LINK=[$SHORT_SHA_PR]($REPO_URL/commit/${{ github.sha }})" | tee -a $GITHUB_ENV
+          echo "COMMIT_LINK=[\`$SHORT_SHA_PR\`]($REPO_URL/commit/${{ github.sha }})" | tee -a $GITHUB_ENV
           echo "WORKFLOW_LINK=[Workflow logs]($REPO_URL/actions/runs/${{ github.run_id }})" | tee -a $GITHUB_ENV
         working-directory: ${{ github.workspace }}/pr
       - name: Build benchmark comment body