Commit d4dec54c3adec19875f3b29b773b282390e1f1ef

Behdad Esfahbod 2022-11-30T13:51:14

[ci] Switch configs build to Ubuntu 20.04 https://github.com/actions/runner-images/issues/6002