`destruct`: some refactoring #89

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Approve diff	0s
Generate data (merge_branch)	12m 31s
Generate data (base_branch)	12m 32s
Generate diffs	37s
Evaluate diffs	3s
	25m 43s