Disable print-cpu-info on Windows

Author: jorisdral

.github/actions/print-cpu-info/action.yml

@@ -12,5 +12,7 @@ runs:
       shell: sh
 
     - if: ${{ runner.os == 'Windows' }}
+      # TODO: wmic is no longer available by default on Windows, it seems. We should replace it.
+      if: ${{ false }}
       run: wmic cpu get caption, deviceid, name, numberofcores, maxclockspeed, status
       shell: cmd