Fix indentation

rahulc29 · Dec 12, 2023 · 1f5fa7c · 1f5fa7c
1 parent 002b8c2
commit 1f5fa7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -32,7 +32,7 @@ jobs:
         ghc-version: ${{ matrix.ghc-ver }}
         cabal-version: ${{ matrix.cabal-ver }}
     - name: Put cabal binaries in PATH
-        run: echo "~/.cabal/bin" >> $GITHUB_PATH
+      run: echo "~/.cabal/bin" >> $GITHUB_PATH
     - name: Download Agda from Github
       if: steps.cache-cabal.outputs.cache-hit != 'true'
       uses: actions/checkout@v2