tree 690521289985c1c59415711058f9a22251ebdc8d
parent ebeaeae8c4708ea754db19ab010b05904427dc7b
author Davide Pesavento <davidepesa@gmail.com> 1633161986 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1633162117 -0400

ci: replace Travis with GitHub Actions

Minor cleanups in docs and build scripts

Change-Id: Icfab337d1b9c78f91ea0c47b65eb4dae6d589b18