fix indent

.github/workflows/benchmarking.yaml

@@ -17,7 +17,7 @@ jobs:
           fetch-depth: 0
         uses: actions/checkout@master
       - name: Set up git user
-	      run: |
+        run: |
 	        git config --local user.name "GitHub Actions"
 	        git config --local user.email "actions@github.com"
       - name: Ensure base branch is fetched