build before installing.

smimram · Nov 29, 2024 · 82b43ed · 82b43ed
1 parent fec17a3
commit 82b43ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,6 +12,7 @@ jobs:
       run: |
         git clone https://github.com/johnwhitington/ppx_blob.git
         cd ppx_blob
+        dune build @install
         dune install
     - name: Build
       run: make