tree ccddac1dbdcaa755200e068b866a543d6ef0f505
parent bd3642f31d4939feb41c5ac02e6569b1af322875
author Davide Pesavento <davidepesa@gmail.com> 1660343167 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1660343167 -0400

ci: refresh GitHub Actions matrix

 * Add ubuntu-22.04, remove 18.04
 * Add macos-12, remove 10.15

Change-Id: I66908bb493100d9c7a6edda2a72e3a536b81b337