try fixing path

Author: cknitt

.github/workflows/ci.yml

@@ -234,10 +234,15 @@ jobs:
           fi
         shell: bash
 
+      - name: Try fixing path
+        if: ${{ runner.os == 'Windows' }}
+        run: echo "C:\Program Files\Git\bin" >> $GITHUB_PATH
+        shell: bash
+
       - name: Log environment info
         run: |
           echo OPAM version: $(opam --version)
-          echo Bash: $(which bash)
+          echo Shell: $SHELL
           echo Path: $PATH
         shell: bash