CI: declare bash shell

ctrueden · ctrueden · commit 7393e30b3e6e · 2026-05-19T19:25:29.000-05:00
In case we ever run any of these jobs on Windows.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -35,9 +35,11 @@ jobs:
 
       - name: Set up build environment
         run: .github/build-setup.sh
+        shell: bash
 
       - name: Maven CI build
         run: .github/build.sh
+        shell: bash
         env:
           GPG_KEY_NAME: ${{ secrets.GPG_KEY_NAME }}
           GPG_PASSPHRASE: ${{ secrets.GPG_PASSPHRASE }}
@@ -49,7 +51,9 @@ jobs:
 
       - name: Smelt components
         run: .github/smelt.sh
+        shell: bash
 
       - name: Publish smelt results
         if: always() && github.ref == 'refs/heads/master' && github.event_name == 'push'
         run: .github/publish.sh smelt.json "Update smelt results"
+        shell: bash
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -21,9 +21,11 @@ jobs:
 
       - name: Set up release environment
         run: .github/release-setup.sh
+        shell: bash
 
       - name: Execute the release
         run: .github/build.sh
+        shell: bash
         env:
           GPG_KEY_NAME: ${{ secrets.GPG_KEY_NAME }}
           GPG_PASSPHRASE: ${{ secrets.GPG_PASSPHRASE }}
diff --git a/.github/workflows/status.yml b/.github/workflows/status.yml
@@ -24,3 +24,4 @@ jobs:
 
       - name: Generate and publish status page
         run: .github/status.sh
+        shell: bash

Original file line number	Diff line number	Diff line change
`@@ -24,3 +24,4 @@ jobs:`
`24`	`24`
`25`	`25`	`- name: Generate and publish status page`
`26`	`26`	`run: .github/status.sh`
	`27`	`+ shell: bash`