Fixing CI

Signed-off-by: Kakadu <Kakadu@pm.me>
PLTools · Jul 13, 2023 · 7140182 · 7140182
1 parent ebd3501
commit 7140182
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -39,7 +39,7 @@ jobs:
 
 
       - name: Install dev version of GT
-        run: >
+        run: |
           opam source GT --dev-repo
           opam pin add GT ./GT -y