CI: prefer ubuntu-22.04 to ubuntu-latest
paulo-ferraz-oliveira opened this issue · comments
Paulo F. Oliveira commented
Or otherwise start CI'ing only using Ubuntu versions mentioned here (valid until Ubuntu latest becomes something else again).
Paulo F. Oliveira commented
Closed by #152.