tree abc167f3882f36b2529b2ad696f633274126df71
parent 3d01fa3647db0b1c5ee509da14affc1f2577e01d
author Davide Pesavento <davidepesa@gmail.com> 1633323924 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1633323924 -0400

ci: replace Travis with GitHub Actions

Change-Id: Ic7ecccd9969e9307a68cc44c26aea1d64b84c729