ci(github): use artifact filename; don't nest ZIPs #85

	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
	shell: cmd
	run: \|
	mkdir c:\mosml
	curl --fail --output c:\mosml\mosml.7z https://dbohdan.com/dist/mosml-2.10.1-win32.7z
	pushd c:\mosml & 7z x mosml.7z & popd
	- name: Build initool
	shell: cmd
	run: build.cmd /batch /package
	- name: Add artifact name to env
	shell: pwsh
	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: Test initool
	shell: cmd
	run: initool.exe version
	- name: Upload Win32 binary
	uses: actions/upload-artifact@v3
	with:
	name: '${{ env.artifactFilename }}'
	path: '${{ env.artifactFilename }}'

Provide feedback