tree 7c5be2f8394dae890e0963e768d04add923b982d
parent 74cb28f6aa812fd266d1e7c15b025491a1d6ebd7
author Davide Pesavento <davidepesa@gmail.com> 1627257906 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1627688213 -0400

ci: add GitHub Actions

Change-Id: I586ea4dd76e5f4b3a9effc65402b6b4285a30faf