ci(github/windows): dl and extract MoSML with pwsh #90

	name: CI
	on: [push]
	jobs:
	linux:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v3
	- name: Install dependencies
	run: sudo apt-get update && sudo apt-get install -y libgmp-dev
	- name: Run CI script
	run: ./ci.sh
	windows:
	runs-on: windows-2019
	steps:
	- name: 'Disable `autocrlf` in Git'
	run: git config --global core.autocrlf false
	- uses: actions/checkout@v3
	- name: Install MoSML
	run: \|
	New-Item -ItemType Directory -Path C:\mosml -Force
	Invoke-WebRequest -Uri https://dbohdan.com/dist/mosml-2.10.1-win32.7z -OutFile C:\mosml\mosml.7z
	7z x -oC:\mosml C:\mosml\mosml.7z
	- name: Build initool
	shell: cmd
	run: build.cmd /batch /package
	- name: Add artifact filename to env
	run: \|
	$artifactFilename = (Get-ChildItem -Filter *.zip \| Select-Object -First 1).Name
	Write-Output "artifactFilename=$artifactFilename" \| Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
	- name: Check that initool runs
	shell: cmd
	run: initool.exe version
	- name: Upload Win32 binary
	uses: actions/upload-artifact@v3
	with:
	name: '${{ env.artifactFilename }}'
	path: '${{ env.artifactFilename }}'

Provide feedback