From 9222666a8c14906ace852d77bfaaf2ecd198fe4e Mon Sep 17 00:00:00 2001 From: Alistair Michael Date: Wed, 25 Sep 2024 14:39:00 +1000 Subject: [PATCH] update workflow --- .github/workflows/opam.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index 672335d9..3af5f0b9 100644 --- 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