From 0316d9b4f04839320119486e3a82a95dcb1d3569 Mon Sep 17 00:00:00 2001
From: Andrey Popp <8mayday@gmail.com>
Date: Fri, 12 Apr 2024 15:46:04 +0300
Subject: [PATCH] .github: build with release profile

we want to make sure all is promoted and ready to be used
---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 803fe60..87f4fd6 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -36,6 +36,6 @@ jobs:
 
       - run: opam install . --deps-only --with-test
 
-      - run: opam exec -- dune build
+      - run: opam exec -- dune build -p mlx,ocamlmerlin-mlx
 
       - run: opam exec -- dune runtest