Back to pull request #2366

Delete unnecessary code for mirror #1113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / dump-contexts-to-log	4s
build / build	2m 26s
build / slack	0s
	2m 30s