Back to pull request #2234

Improve index correction performance #1090

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
dump-contexts-to-log	6s
check-format-diff	5m 12s
format	0s
	5m 18s