Set prefix.

smimram · Jan 30, 2025 · 54ed764 · 54ed764
1 parent 55d7fea
commit 54ed764
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -14,7 +14,7 @@ jobs:
         git clone https://github.com/johnwhitington/ppx_blob.git
         cd ppx_blob
         dune build @install
-        sudo dune install
+        sudo dune install --prefix=/usr
     - name: Build
       run: make
     - name: Test