pruned redundant paths in control succession search #601

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
types-and-linting	33s
doctests	24s
coverage	1m 27s
tests	1m 32s
	3m 56s