tree 79484c7767bc803a27718f0eeffe882c7aa95fc5
parent 412c982a63194a5bfb11805b0e898528f824e994
author Davide Pesavento <davidepesa@gmail.com> 1627430466 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1627687563 -0400

ci: add GitHub Actions

Change-Id: Idc715edf136550b088f89c19b581f5478b296653