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