install GNU make for Windows like PDLPorters/devops@c475851

Author: mohawk2

github-actions/ci-dist/action.yml

@@ -366,6 +366,11 @@ runs:
             fi
             echo "::endgroup::"
           fi
+    - name: GNU make for Windows
+      shell: bash
+      if: ${{ matrix.os == 'windows-latest' }}
+      run: |
+        choco install --verbose make
     - name: target-test (no coverage)
       shell: bash
       env: