Update upload-artifact too, and be liberal with versioning. #415

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
Build (windows-latest)	3m 48s
Build and Test with Nix	1m 32s
Build (ubuntu-20.04)	1m 24s
Build (macos-latest)	3m 57s
Spec (windows-latest)	37s
Spec (ubuntu-20.04)	13s
Spec (macos-latest)	19s
Lint	1m 7s
	12m 57s