_

Signed-off-by: Sora Morimoto <[email protected]>
ocsigen · Dec 23, 2024 · 5555577 · 5555577
1 parent cf7d342
commit 5555577
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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