Inference diff

Add check for definition xrefs that are not also term xrefs #7292

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
classify_pr	6m 0s
classify_master	6m 14s
diff_classification	1m 37s
post_comment	10s
	14m 1s