Add package in list for ci

mbarbin · Jan 10, 2025 · e36ff22 · e36ff22
1 parent 49376e1
commit e36ff22
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/more-ci.yml b/.github/workflows/more-ci.yml
@@ -55,7 +55,7 @@ jobs:
       # the development workflow and as part of the main CI job. These are the
       # tests that are checked for every combination of os and ocaml-compiler.
       - name: Install dependencies
-        run: opam install ./fingerboard.opam ./fingerboard-tests.opam --deps-only --with-test
+        run: opam install ./fingerboard.opam ./fingerboard-system.opam ./fingerboard-tests.opam --deps-only --with-test
 
       - name: Build & Run tests
-        run: opam exec -- dune build @all @runtest -p fingerboard,fingerboard-tests
+        run: opam exec -- dune build @all @runtest -p fingerboard,fingerboard-system,fingerboard-tests