Skip to content

Commit

Permalink
.github: build with release profile
Browse files Browse the repository at this point in the history
we want to make sure all is promoted and ready to be used
  • Loading branch information
andreypopp committed Apr 12, 2024
1 parent 9df5051 commit 0316d9b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 0316d9b

Please sign in to comment.