Auto merge of #144847 - Randl:const-ord, r=oli-obk #175516

Annotations

10 warnings

Directory or file /usr/local/.ghcup does not exist, skipping.

Directory or file /usr/local/bin/stack does not exist, skipping.

Directory or file /usr/local/bin/bicep does not exist, skipping.

Directory or file /usr/share/miniconda does not exist, skipping.

Directory or file /usr/share/gradle-* does not exist, skipping.

Directory or file /usr/local/share/edge_driver does not exist, skipping.

Directory or file /usr/local/share/chromium does not exist, skipping.

Directory or file /usr/local/share/chromedriver-* does not exist, skipping.

Directory or file /usr/local/lib/android does not exist, skipping.

Directory or file /usr/local/julia* does not exist, skipping.