diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 70f236177..2ccdd4127 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -72,8 +72,8 @@ jobs: - name: Install dependencies run: opam exec -- make deps js-deps - - name: Run make - run: opam exec -- make + - name: Build the project + run: opam exec -- dune build --profile ci @check - name: Monitor changes uses: getsentry/action-git-diff-suggestions@main diff --git a/src/dune b/src/dune index 0a8173aaa..250bda13c 100644 --- a/src/dune +++ b/src/dune @@ -3,9 +3,9 @@ (flags (:standard -bin-annot -w -22 -warn-error -A)) (ocamlopt_flags -g)) - (warnings ;; This profile can be used to simply enable all warnings. + (ci ;; This profile is used by the CI. (flags - (:standard -bin-annot -w +A -warn-error -A)) + (:standard -bin-annot -w -22 -warn-error +A)) (ocamlopt_flags -g)) (release ;; The release profile has optimizations enabled. (flags