tree a3b3b9e83c379f35d8246f5b688fd8118ed606eb
parent 7ae8b08fc28908e34fa1f2c834b9009822c411ff
author Davide Pesavento <davidepesa@gmail.com> 1634174923 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1634176709 -0400

ci: replace Travis with GitHub Actions

Change-Id: I6316bc7872fe25644dceafb1e2e2119c9c6e5ac3