tree 52fc69921ea5538cc87424a5e9f1b9bce175c6f5
parent a209f6747f403f12be32bede27ac6e7859e99988
author Davide Pesavento <davidepesa@gmail.com> 1627454331 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1627689003 -0400

ci: add GitHub Actions

Change-Id: Ic7ed7356fef4af465843b44a5cefd0458c78774d