tree 9886eab57fa790e25f1274a128254536c787f322
parent 72517b55103f55655c2c3d0aab99ac386ea72e8c
author Davide Pesavento <davidepesa@gmail.com> 1660513205 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1660513205 -0400

ci: refresh GitHub Actions matrix

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

Change-Id: I775ea45661259ba1353e3f6ee0c602abee58acbd