update workflows

Author: joneugster

Diff for: .github/workflows/docker.yml

@@ -9,6 +9,9 @@ on:
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
+defaults:
+  run:
+    shell: bash
 jobs:
   build:
     name: 'Build image'
@@ -53,13 +56,10 @@ jobs:
           path: /tmp
       - name: Load server image
         run: docker load --input /tmp/lean4monaco.tar
-        shell: bash
       - name: Start server
         run: docker run -dit -p 5173:5173 -p 8080:8080 lean4monaco
-        shell: bash
       - name: Run tests (electron)
         uses: cypress-io/github-action@v6
         with:
           browser: electron
           wait-on: 'http://localhost:5173'
-          shell: bash

Diff for: .github/workflows/test.yml

@@ -11,6 +11,9 @@ on:
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
+defaults:
+  run:
+    shell: bash
 jobs:
   test:
     strategy:
@@ -52,7 +55,6 @@ jobs:
       - name: Setup webkit (Linux)
         if: matrix.os == 'ubuntu-latest' && matrix.browser == 'webkit'
         run: npx playwright install-deps webkit
-        shell: bash
       - uses: actions/checkout@v4
         with:
           submodules: true
@@ -71,13 +73,10 @@ jobs:
           curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
           bash elan-init.sh -y
           echo "$(realpath ~/.elan/bin)" >> $GITHUB_PATH
-        shell: bash
       - uses: actions/setup-node@v4
       - run: npm install
-        shell: bash
       - run: npm run setup_demo
         if: matrix.os != 'windows-latest'
-        shell: bash
       - name: Run tests
         if: matrix.os != 'windows-latest'
         uses: cypress-io/github-action@v6
@@ -88,4 +87,3 @@ jobs:
       - name: Run test (Windows)
         run: npm test
         if: matrix.os == 'windows-latest'
-        shell: bash