From cf7d342e07c733bf853fb3c844b6af96949cedbd Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Mon, 23 Dec 2024 15:51:03 +0900 Subject: [PATCH] _ Signed-off-by: Sora Morimoto --- .github/workflows/workflow.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index a93156ff5..f382efcc8 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -37,6 +37,6 @@ jobs: - run: opam install . --deps-only - - run: opam exec -- ./configure + - run: opam exec -- bash ./configure - run: opam exec -- make all