Run make on bash

Ovenoboyo · Ovenoboyo · commit 653b124d9bc1 · 2025-01-22T18:29:19.000-05:00
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -49,6 +49,7 @@ jobs:
 
       - name: build extensions
         run: make
+        shell: bash
 
       - name: Generate manifest
         run: python3 gen-manifest.py
