fix

diku-dk · Jan 13, 2021 · 08c4be5 · 08c4be5
1 parent 42d3ce0
commit 08c4be5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -51,7 +51,7 @@ jobs:
       - name: Install dependencies
         run: |
           brew install make
-	  brew install mlton
+          brew install mlton
 
       - name: Build
         run: |

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -46,7 +46,7 @@ jobs:
       - name: Install dependencies
         run: |
           brew install make
-	  brew install mlton
+          brew install mlton
 
       - name: Build
         run: |