Back to pull request #131877

checktools.sh: add link to issue for more context about disabled Miri tests #138672

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Calculate job matrix	10s
PR - mingw-check	33m 27s
PR - mingw-check-tidy	5m 57s
PR - x86_64-gnu-llvm-18	1h 12m 56s
PR - x86_64-gnu-tools	29m 19s
bors build finished	0s
	2h 21m 49s