CI Build

Make seed optional; remove unneeded code #1280

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on ubuntu-20.04	2m 29s
Build on windows-latest	5m 16s
Create NuGet package	1m 50s
	9m 35s