update workflow

UQ-PAC · Sep 25, 2024 · 9222666 · 9222666
1 parent 3e5aca0
commit 9222666
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml
@@ -25,5 +25,6 @@ jobs:
     - run: opam install dune
     - run: opam install . --deps-only --with-test
     - run: opam exec -- dune build --profile release
+    - run: opam install aslp_server --deps-only --with-test
     - run: opam exec -- dune build aslp_server --profile release