tree 794f5aa5f8fef725c6a74125dba6e7a5fa3fbf12
parent 9f14dcd319dba95545f2c850ef4b3f5a6b6882bc
author Davide Pesavento <davidepesa@gmail.com> 1633228286 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1633228286 -0400

ci: replace Travis with GitHub Actions

Change-Id: Id9f6bc462115c1c49f02b8b75d65304f777e0ffd