Fix CI build dependencies

formalsec · Oct 23, 2024 · b7aade5 · b7aade5
1 parent cfe0959
commit b7aade5
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -31,7 +31,10 @@ jobs:
           dune-cache: true
           allow-prerelease-opam: true
       - name: Install dependencies
-        run: opam install -y . --deps-only --with-test
+        run: |
+          sudo apt update
+          sudo apt install -y libsparsehash-dev
+          opam install -y . --deps-only --with-test
       - name: Build
         run: opam exec -- dune build @install
       - name: Test