tree 9ce5d8167a8187ba738cc89e8f6941d2658732bf
parent 535bd33223a63f7ec4820d90db2f8764ffb635f8
author Davide Pesavento <davidepesa@gmail.com> 1675661918 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1675810566 -0500

ci: adopt reusable workflows from `named-data/actions`

Change-Id: Ib5b73ca2082cec8fc105a875f5c261a979db11c7