Rename `pick_cube_symbolic` into `pick_cube_dd` #80

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	46s
Test (stable)	1m 2s
Test (stable, --release)	1m 36s
Test (nightly)	59s
Test (nightly, --release)	1m 43s
	6m 6s