message: add mingw related path in the head of PATH
diff: @@ -45,19 +45,19 @@ jobs:
  run: |
  bcdedit /set IncreaseUserVa 3072
  editbin /LARGEADDRESSAWARE "C:\Program Files\Git\mingw64\bin\cc1plus.exe"
  - path %PATH:C:\Program Files\Git\bin;=%
  - path %PATH:C:\Program Files\Git\usr\bin;=%
  + set PATH=C:\Program Files\Git\mingw64\bin;%PATH%
  + set PATH=C:\ProgramData\chocolatey\lib\mingw\tools\install\mingw64\bin;%PATH%
  mkdir build
  cd build
  cmake -G "MinGW Makefiles" -DBUILD_SHARED_LIBS=${{ matrix.config.shared }} -DCMAKE_BUILD_TYPE=${{ matrix.config.build_type }} -DGINKGO_COMPILER_FLAGS=${{ matrix.config.cflags }} ..
  cmake --build . -j4
  - ctest . --output-on-failure
  shell: cmd
  - name: install
  run: |
  - set PATH=%PATH:C:\Program Files\Git\bin;=%
  - set PATH=%PATH:C:\Program Files\Git\usr\bin;=%;C:\Program Files (x86)\Ginkgo\bin
  + set PATH=C:\Program Files\Git\mingw64\bin;%PATH%
  + set PATH=C:\ProgramData\chocolatey\lib\mingw\tools\install\mingw64\bin;%PATH%
  + set PATH=C:\Program Files (x86)\Ginkgo\bin;%PATH%
  cd build
  cmake --install .
  cmake --build . --target test_install
  