diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index f382efcc8..61bea3c0f 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -37,6 +37,8 @@ jobs:
 
       - run: opam install . --deps-only
 
-      - run: opam exec -- bash ./configure
+      - run: opam exec -- ./configure
+        env:
+          SHELLOPTS: igncr
 
       - run: opam exec -- make all