CI

bootstrap: use `internment` instead of hand-rolled interning #140700

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	10s
PR - mingw-check	38m 42s
PR - mingw-check-tidy	13m 54s
PR - x86_64-gnu-llvm-18	1h 13m 46s
PR - x86_64-gnu-tools	28m 9s
bors build finished	0s
	2h 34m 41s