tree ad501566b036da3123c02040e36fffd1690048e4
parent 73e946e2c853dbbd577cae97a3f823d1a5b70f3f
author Davide Pesavento <davidepesa@gmail.com> 1659924842 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1660191703 -0400

ci: refresh GitHub Actions matrix

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

Change-Id: Iffdf6b6ff25da8f62ca2bede821dcc9969475c7b