From 48d2bc525b26c13e7432588207445550801b305e Mon Sep 17 00:00:00 2001 From: Alexander Bandukwala <7h3kk1d@gmail.com> Date: Thu, 25 Jul 2024 17:09:10 -0400 Subject: [PATCH] Try adding hyphens --- .github/workflows/new_build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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