diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index f51be1b4e..9c8145ceb 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -44,6 +44,6 @@ jobs:
 
       - run: opam install . --deps-only
 
-      - run: opam exec -- ./configure
+      - run: opam exec -- bash ./configure
 
       - run: opam exec -- make all
diff --git a/configure b/configure
index d0b23e3d8..c60c2aa0d 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 # Adapted from the ocamlnet configure script.