Unit tests

Bump Vampire/setup-wsl from 3 to 4 #1998

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS-latest (devel)	41m 23s
macOS-latest (release)	31m 43s
windows-latest (devel)	59m 21s
windows-latest (release)	1h 23m 48s
windows-latest (oldrel)	1h 27m 39s
ubuntu-latest (devel)	1h 2m 17s
ubuntu-latest (release)	1h 3m 37s
ubuntu-latest (oldrel)	1h 7m 4s
	8h 16m 52s