tree 837d05658ac8ddccda76381bd2db0d6be5658077
parent 75e8d465db44041034545c8928687ad0f0d51ac7
author Davide Pesavento <davidepesa@gmail.com> 1622829696 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1622829696 -0400

ci: sync scripts

Change-Id: I7ef875e554dfd300e4e3464db1221bdf65f4ab25