CI

feat: add `--runRNGseed` flag with seeded primary tie-break #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Security audit	3m 2s
Clippy	21s
MSRV check	16s
Formatting	14s
Test (windows-x86_64)	3m 6s
Test (macos-aarch64)	1m 44s
Test (linux-x86_64-v3)	1m 41s
Test (linux-aarch64)	1m 5s
Test (linux-x86_64)	1m 9s
	12m 38s