Add a never type option to make diverging blocks `()` #118791

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
PR - mingw-check	24m 45s
auto - ${{ matrix.name }}	0s
PR - mingw-check-tidy	4m 51s
master	0s
try - ${{ matrix.name }}	0s
PR - x86_64-gnu-llvm-17	51m 22s
PR - x86_64-gnu-tools	31m 59s
bors build finished	0s
bors build finished	0s
bors build finished	0s
bors build finished	0s
	1h 52m 57s