diff --git a/.github/workflows/new_build.yml b/.github/workflows/new_build.yml index 0608726329..b2bf9258d4 100644 --- a/.github/workflows/new_build.yml +++ b/.github/workflows/new_build.yml @@ -24,5 +24,5 @@ jobs: working-directory: ./source - name: Build Release run: | - opam exec dune build @src/fmt --auto-promote src --profile release + opam exec -- dune build @src/fmt --auto-promote src --profile release working-directory: ./source \ No newline at end of file