From 2911a8241d51a29db2ed2a2d6af6db80ee8ca6e9 Mon Sep 17 00:00:00 2001
From: Laura Shemilt <laura.shemilt@rfi.ac.uk>
Date: Mon, 13 Oct 2025 12:06:18 +0100
Subject: [PATCH] adding shell definition in copy runs

---
 .github/actions/mkdocs-pages/action.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/actions/mkdocs-pages/action.yaml b/.github/actions/mkdocs-pages/action.yaml
index 105eefd..28e14b1 100644
--- a/.github/actions/mkdocs-pages/action.yaml
+++ b/.github/actions/mkdocs-pages/action.yaml
@@ -39,6 +39,7 @@ runs:
           ${{ inputs.docs_folder }}
           ${{ inputs.docs_folder && '.github' }}
     - name: Copy defaults to docs folder
+      shell: bash
       run: |
         cp -rn ${{ github.action_path }}/default-docs/. 'docs/.';
         cp -rn ${{ github.action_path }}/. '.github/mkdocs/';