Commit aef92b2846f08f99a30b2bd491b046c33576a884

Behdad Esfahbod 2022-06-05T00:44:31

[ci] Better compiler specification in configs-build job