From a1f25283f69e79e9528e89ad6faff4ca94100b94 Mon Sep 17 00:00:00 2001 From: Alistair Michael Date: Tue, 24 Sep 2024 14:55:02 +1000 Subject: [PATCH] build aslp_server ga --- .github/workflows/opam.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index 8b95df3b..24c3e9c2 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -25,4 +25,5 @@ jobs: - run: opam install dune - run: opam install . --deps-only --with-test - run: opam exec -- dune build --profile release + - run: cd aslp_server && opam exec -- dune build --profile release