Skip to content

Fix nondet picks not being tracked correctly in the getting started spec #3638

Fix nondet picks not being tracked correctly in the getting started spec

Fix nondet picks not being tracked correctly in the getting started spec #3638