Fix pre-commit config

anoma · Nov 30, 2023 · 59cca0c · 59cca0c
1 parent 573c0b0
commit 59cca0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -184,7 +184,7 @@ jobs:
 
       - name: Test Juvix binary
         run: |
-           /home/runner/.local/bin/juvix --version
+          /home/runner/.local/bin/juvix --version
 
       # Install all the versions of Juvix we want to benchmark