remove unused option in reproduce.yml

FMatti · Jan 7, 2024 · d65ac7b · d65ac7b
1 parent 1812002
commit d65ac7b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/reproduce.yml b/.github/workflows/reproduce.yml
@@ -40,7 +40,6 @@ jobs:
           find . -name "${{ env.CODE_FILES }}" -exec sh -c "grep '\- name\:.*' {} | python {}" \;
 
       - name: Obtain commit hash and time
-        shell: bash
         run: |
           echo "sha_short=$(git rev-parse --short "$GITHUB_SHA")" >> "$GITHUB_ENV"
           echo "build_time=$(date +'%Y-%m-%d at %H:%M:%S UTC')" >> $GITHUB_ENV