From 555557789bf84f2764bbca1db653e085a324bb08 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Mon, 23 Dec 2024 15:55:27 +0900 Subject: [PATCH] _ Signed-off-by: Sora Morimoto --- .github/workflows/workflow.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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