Back to pull request #2366

Delete unnecessary code for mirror #927

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / dump-contexts-to-log	2s
build / build	2m 13s
build / slack	0s
	2m 15s