CI

Auto merge of #810 - Veykril:HasInterner-bounds, r=compiler-errors #1838

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	5s
Test (stable)	3m 34s
Book link check	0s
Test (nightly)	3m 27s
bors build finished	1s
bors build finished	0s
	7m 7s